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

Large commit. Removed 800+ references to no-op wfLoadExtensionMessages()

Browse source
This commit is contained in:
Chad Horohoe 2010-05-26 22:25:32 +00:00
parent 66026f2c33
commit 16fa29f47e
2 changed files with 0 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Gadgets.php
View file

@ -122,8 +122,6 @@ function wfGadgetsGetPreferences( $user, &$preferences ) {
$gadgets = wfLoadGadgetsStructured();
if (!$gadgets) return true;
wfLoadExtensionMessages( 'Gadgets' );
$options = array();
foreach( $gadgets as $section => $thisSection ) {
$section = wfMsgExt( "gadget-section-$section", 'parseinline' );

1
SpecialGadgets.php
View file

@ -32,7 +32,6 @@ class SpecialGadgets extends SpecialPage {
function execute( $par ) {
global $wgOut, $wgUser, $wgLang, $wgContLang;
wfLoadExtensionMessages( 'Gadgets' );
$skin = $wgUser->getSkin();
$this->setHeaders();