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

Fix double "MediaWiki:MediaWiki:" namespace on Special:Gadgets

Browse source 
Bug: T121047
Change-Id: Ic6d0f3d3aa3c6288c1fd7f08517d53b582bdf76f
This commit is contained in:
Kunal Mehta 2015-12-10 12:05:18 -08:00
parent c51cba6a7c
commit 349f963180
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
SpecialGadgets.php
View file

@ -114,7 +114,7 @@ class SpecialGadgets extends SpecialPage {
$lnk = array(); $lnk = array();
foreach ( $gadget->getScriptsAndStyles() as $codePage ) { foreach ( $gadget->getScriptsAndStyles() as $codePage ) {
$t = Title::makeTitleSafe( NS_MEDIAWIKI, $codePage ); $t = Title::newFromText( $codePage );
if ( !$t ) { if ( !$t ) {
continue; continue;