wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-23 22:03:28 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix $wgCodeMirrorResources initialization (v 3.0.1)

Browse source 
Change-Id: I1439b635c655e072f995f3ad205ca736f3685e09
This commit is contained in:
Pavel Astakhov 2014-10-24 13:36:03 +06:00
parent b096a2a52c
commit b8aab4bc2a
1 changed files with 5 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
CodeMirror.php
View file

@ -15,7 +15,7 @@ if ( !defined( 'MEDIAWIKI' ) ) {
die( 'This file is an extension to MediaWiki and thus not a valid entry point.' );
}
const EXT_CODEMIRROR_VERSION = '3.0.0';
const EXT_CODEMIRROR_VERSION = '3.0.1';
// Register this extension on Special:Version
$wgExtensionCredits['parserhook'][] = array(
@ -86,6 +86,7 @@ $wgResourceModules['ext.CodeMirror.other'] = array(
'group' => 'ext.CodeMirror',
) + $tpl;
$wgCodeMirrorResources = array(
'dependencies' => array( 'ext.CodeMirror.lib' => true ),
);
if ( false === isset( $wgCodeMirrorResources ) ) {
$wgCodeMirrorResources = array();
}
$wgCodeMirrorResources['dependencies']['ext.CodeMirror.lib'] = true;