mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-09-25 19:28:13 +00:00
13 lines
319 B
JavaScript
13 lines
319 B
JavaScript
|
/* JavaScript for WikiEditor Highlight module */
|
||
|
|
||
|
$j(document).ready( function() {
|
||
|
// Check preferences for highlight
|
||
|
if ( !wgWikiEditorEnabledModules.toc ) { //HACK
|
||
|
return true;
|
||
|
}
|
||
|
// Add the highlight module
|
||
|
if ( $j.fn.wikiEditor ) {
|
||
|
$j( 'textarea#wpTextbox1' ).wikiEditor( 'addModule', 'highlight' );
|
||
|
}
|
||
|
});
|