wikimedia/mediawiki-extensions-SyntaxHighlight_GeSHi
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/SyntaxHighlight_GeSHi synced 2024-11-15 10:39:53 +00:00
Code Issues Packages Projects Releases Wiki Activity

Update i18n shim

Browse source 
A performance issue was fixed in the shim(s) generated by
generateJsonI18n.php, so it needed to be updated.

Change-Id: I68764e4b5e5a2bff2a433edadf343707f544172f
This commit is contained in:
Translation updater bot 2014-04-22 13:47:29 +00:00
parent 5c3eb066b8
commit 49592712fe
1 changed files with 18 additions and 14 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
SyntaxHighlight_GeSHi.i18n.php
View file

@ -11,10 +11,11 @@
* This shim maintains compatibility back to MediaWiki 1.17. * This shim maintains compatibility back to MediaWiki 1.17.
*/ */
$messages = array(); $messages = array();
$GLOBALS['wgHooks']['LocalisationCacheRecache'][] = function ( $cache, $code, &$cachedData ) { if ( !function_exists( 'wfJsonI18nShim6442dc48f1d977f3' ) ) {
function wfJsonI18nShim6442dc48f1d977f3( $cache, $code, &$cachedData ) {
$codeSequence = array_merge( array( $code ), $cachedData['fallbackSequence'] ); $codeSequence = array_merge( array( $code ), $cachedData['fallbackSequence'] );
foreach ( $codeSequence as $csCode ) { foreach ( $codeSequence as $csCode ) {
$fileName = __DIR__ . "/i18n/$csCode.json"; $fileName = dirname( __FILE__ ) . "/i18n/$csCode.json";
if ( is_readable( $fileName ) ) { if ( is_readable( $fileName ) ) {
$data = FormatJson::decode( file_get_contents( $fileName ), true ); $data = FormatJson::decode( file_get_contents( $fileName ), true );
foreach ( array_keys( $data ) as $key ) { foreach ( array_keys( $data ) as $key ) {
@ -28,4 +29,7 @@ $GLOBALS['wgHooks']['LocalisationCacheRecache'][] = function ( $cache, $code, &$
$cachedData['deps'][] = new FileDependency( $fileName ); $cachedData['deps'][] = new FileDependency( $fileName );
} }
return true; return true;
}; }
$GLOBALS['wgHooks']['LocalisationCacheRecache'][] = 'wfJsonI18nShim6442dc48f1d977f3';
}