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

Merge "Use page ContentModel to choose editor language"

Browse source
This commit is contained in:
jenkins-bot 2014-01-10 15:43:42 +00:00 committed by Gerrit Code Review
parent a6e4d82b58 f7b689d9f0
commit 9603214b8b
1 changed files with 8 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
CodeEditor.hooks.php
View file

@ -4,8 +4,14 @@ class CodeEditorHooks {
static function getPageLanguage( $title ) {
global $wgCodeEditorEnableCore;
// Try CSS/JS
if( $wgCodeEditorEnableCore && ( $title->isCssOrJsPage() || $title->isCssJsSubpage() ) ) {
if ( $wgCodeEditorEnableCore && method_exists( $title, "getContentModel" ) ) {
if ( $title->getContentModel() === CONTENT_MODEL_JAVASCRIPT ) {
return 'javascript';
} else if ( $title->getContentModel() === CONTENT_MODEL_CSS ) {
return 'css';
}
} elseif( $wgCodeEditorEnableCore && ( $title->isCssOrJsPage() || $title->isCssJsSubpage() ) ) {
// This block is deprecated. Remove after 1.23 release
if( preg_match( '/\.js$/', $title->getText() ) )
return 'javascript';
if( preg_match( '/\.css$/', $title->getText() ) )