wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-23 23:13:27 +00:00
Code Issues Packages Projects Releases Wiki Activity

fixed i18n fallback

Browse source
This commit is contained in:
Daniel Kinzler 2007-11-15 23:41:16 +00:00
parent 7ecf44c8b7
commit f246429dd2
1 changed files with 8 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
Gadgets.php
View file

@ -237,7 +237,14 @@ function loadGadgetsI18n() {
include( $f );
$f= dirname( __FILE__ ) . '/Gadgets.i18n.' . $wgLang->getCode() . '.php';
if ( file_exists( $f ) ) include( $f );
if ( file_exists( $f ) ) {
$messages_base= $messages;
$messages= array();
include( $f );
$messages = array_merge( $messages_base, $messages_base );
}
$initialized = true;
$wgMessageCache->addMessages( $messages );