Fixing drift between CVS and git

wakamori · Jul 7, 2010 · 4a97fa7 · 4a97fa7
1 parent 8d6d7d4
commit 4a97fa7
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/lang/en/editor.php b/lang/en/editor.php
@@ -25,7 +25,7 @@
 
 $string['about'] = 'About this editor';
 $string['absbottom'] = 'Absbottom';
-$string['acteditorshhdr'] = 'Active text editors';
+$string['acteditorshhdr'] = 'Available text editors';
 $string['address'] = 'Address';
 $string['alertnoselectedtext'] = 'You must select text first!';
 $string['alignment'] = 'Alignment';

diff --git a/lang/en/portfolio.php b/lang/en/portfolio.php
@@ -24,7 +24,7 @@
  */
 
 $string['activeexport'] = 'Resolve active export';
-$string['activeportfolios'] = 'Active portfolios';
+$string['activeportfolios'] = 'Available portfolios';
 $string['addalltoportfolio'] = 'Save all...';
 $string['addnewportfolio'] = 'Add a new portfolio';
 $string['addtoportfolio'] = 'Save...';

diff --git a/lang/en/repository.php b/lang/en/repository.php
@@ -25,7 +25,7 @@
 
 $string['accessiblefilepicker'] = 'Accessible file picker';
 $string['activaterep'] = 'Active repositories';
-$string['activerepository'] = 'Active repository plugins';
+$string['activerepository'] = 'Available repository plugins';
 $string['add'] = 'Add';
 $string['addfile'] = 'Add...';
 $string['addplugin'] = 'Add a repository plugin';