mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-12 09:57:16 +00:00
bddd21b300
* Added closures for jQuery where missing. * Added closures for mediaWiki where missing. * Using ready( $ ) where possible. * Removed empty CSS block. Change-Id: Ifdd4b10063221a4967d812eafd43858623ec5d28
8 lines
182 B
JavaScript
8 lines
182 B
JavaScript
/*
|
|
* JavaScript for WikiEditor Highlighting
|
|
*/
|
|
jQuery( document ).ready( function ( $ ) {
|
|
// Add highlight module
|
|
$( '#wpTextbox1' ).wikiEditor( 'addModule', 'highlight' );
|
|
} );
|