mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Math
synced 2024-09-24 18:59:18 +00:00
![Translation updater bot](/assets/img/avatar_default.png)
A performance issue was fixed in the shim(s) generated by generateJsonI18n.php, so it needed to be updated. Change-Id: Ib8069ac45f2db0436041287e4d4e5c6a684417f1
36 lines
1.3 KiB
PHP
36 lines
1.3 KiB
PHP
<?php
|
|
/**
|
|
* This is a backwards-compatibility shim, generated by:
|
|
* https://git.wikimedia.org/blob/mediawiki%2Fcore.git/HEAD/maintenance%2FgenerateJsonI18n.php
|
|
*
|
|
* Beginning with MediaWiki 1.23, translation strings are stored in json files,
|
|
* and the EXTENSION.i18n.php file only exists to provide compatibility with
|
|
* older releases of MediaWiki. For more information about this migration, see:
|
|
* https://www.mediawiki.org/wiki/Requests_for_comment/Localisation_format
|
|
*
|
|
* This shim maintains compatibility back to MediaWiki 1.17.
|
|
*/
|
|
$messages = array();
|
|
if ( !function_exists( 'wfJsonI18nShim076fa7ce17fc47b9' ) ) {
|
|
function wfJsonI18nShim076fa7ce17fc47b9( $cache, $code, &$cachedData ) {
|
|
$codeSequence = array_merge( array( $code ), $cachedData['fallbackSequence'] );
|
|
foreach ( $codeSequence as $csCode ) {
|
|
$fileName = dirname( __FILE__ ) . "/i18n/$csCode.json";
|
|
if ( is_readable( $fileName ) ) {
|
|
$data = FormatJson::decode( file_get_contents( $fileName ), true );
|
|
foreach ( array_keys( $data ) as $key ) {
|
|
if ( $key === '' || $key[0] === '@' ) {
|
|
unset( $data[$key] );
|
|
}
|
|
}
|
|
$cachedData['messages'] = array_merge( $data, $cachedData['messages'] );
|
|
}
|
|
|
|
$cachedData['deps'][] = new FileDependency( $fileName );
|
|
}
|
|
return true;
|
|
}
|
|
|
|
$GLOBALS['wgHooks']['LocalisationCacheRecache'][] = 'wfJsonI18nShim076fa7ce17fc47b9';
|
|
}
|