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

Remove whitespace at the end of lines

Browse source 
Change-Id: Icccee7461ecff22cbc5076df9f3803b6c2e29f28
This commit is contained in:
Florianschmidtwelzow 2014-10-29 18:22:42 +01:00
parent c91e62b74f
commit 64b286d04e
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
CodeEditor.hooks.php
View file

@ -19,11 +19,11 @@ class CodeEditorHooks {
if( preg_match( '/\.css$/', $title->getText() ) )
return 'css';
}
// Give extensions a chance
$lang = null;
wfRunHooks( 'CodeEditorGetPageLanguage', array( $title, &$lang ) );
return $lang;
}
@ -34,7 +34,7 @@ class CodeEditorHooks {
);
return true;
}
public static function editPageShowEditFormInitial( $editpage, $output ) {
$lang = self::getPageLanguage( $editpage->getContextTitle() );
if ( $lang && $output->getUser()->getOption( 'usebetatoolbar' ) ) {
@ -50,7 +50,7 @@ class CodeEditorHooks {
}
return true;
}
public static function onBeforePageDisplay( $out, $skin ) {
global $wgCodeEditorGeshiIntegration;
if ( $wgCodeEditorGeshiIntegration ) {