| Index: trunk/extensions/Translate/MessageGroups.php |
| — | — | @@ -890,7 +890,7 @@ |
| 891 | 891 | $deps[] = new GlobalDependency( 'wgTranslateExtensionDirectory' ); |
| 892 | 892 | $deps[] = New FileDependency( dirname( __FILE__ ) . '/groups/mediawiki-defines.txt' ); |
| 893 | 893 | $deps[] = New FileDependency( dirname( __FILE__ ) . '/groups/Wikia/extensions.txt' ); |
| 894 | | - $deps[] = New FileDependency( dirname( __FILE__ ) . '/groups/Toolserver/toolserver-textdomains.txt' );; |
| | 894 | + $deps[] = New FileDependency( dirname( __FILE__ ) . '/groups/Toolserver/toolserver-textdomains.txt' ); |
| 895 | 895 | |
| 896 | 896 | if ( $wgTranslateAddMWExtensionGroups ) { |
| 897 | 897 | $a = new PremadeMediawikiExtensionGroups; |