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

rm debug echo

Browse source
This commit is contained in:
Daniel Kinzler 2007-11-14 22:03:41 +00:00
parent 40a9577ed1
commit 7ecf44c8b7
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
Gadgets.php
View file

@ -80,7 +80,6 @@ function wfLoadGadgetsStructured() {
$g = wfMsgForContentNoTrans( "Gadgets-definition" ); $g = wfMsgForContentNoTrans( "Gadgets-definition" );
if ( wfEmptyMsg( "Gadgets-definition", $g ) ) { if ( wfEmptyMsg( "Gadgets-definition", $g ) ) {
print "((NO GADGETS))";
$gadgets = false; $gadgets = false;
return $gadgets; return $gadgets;
} }