Content deleted Content added
-1.3 |
m Maintenance: jquery.cookie has been deprecated phab:T271995 |
||
(2 intermediate revisions by one other user not shown) | |||
Line 246:
}
if ( "chrome firefox".indexOf( EdiCt.g.client.name ) < 0 ) {
mw.loader.using( [ "
EdiCt.codeEditorDisable );
} else {
Line 260:
// > mw.util.$content
// mw.hook()
// jQuery.removeCookie() ::
// Remark: Used as event handler -- 'this' is not EdiCt
// 2014-08-01 PerfektesChaos@de.wikipedia
Line 273:
"group": "format",
"tools": "codeEditor" } );
//
$.removeCookie( "wikiEditor-0-codeEditor-enabled" );
}
Line 296:
depend = [ "ext.codeEditor",
"ext.codeEditor.ace",
"jquery.ui
"
select = mw.config.get( "wgCodeEditorCurrentLanguage" );
if ( ! select ) {
|