URL-escape the main page link on the logo
[mediawiki.git] / includes / SpecialDebug.php
blobf11c075d18e874194810e31faf9c21924d21c1a3
1 <?
3 function wfSpecialDebug()
5 global $wgUser, $wgOut;
7 if ( ! $wgUser->isDeveloper() ) {
8 $wgOut->developerRequired();
9 return;
11 phpinfo();