wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-14 19:14:41 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove some commented-out code commited by accident in r110794.

Browse source
This commit is contained in:
vvv 2012-02-06 22:00:31 +00:00
parent 0ac1a47dbb
commit 26988117ca
Notes: vvv 2012-02-06 22:00:31 +00:00 
https://mediawiki.org/wiki/Special:Code/MediaWiki/110795
1 changed files with 0 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
CodeEditor.hooks.php
View file

@ -29,10 +29,6 @@ class CodeEditorHooks {
public static function onMakeGlobalVariablesScript( &$vars, $output ) {
global $wgTitle;
// Safeguard
//if( !$wgTitle )
// return true;
$lang = self::getPageLanguage( $wgTitle );
if( $lang ) {
$vars['wgCodeEditorCurrentLanguage'] = $lang;