mediawiki-extensions-WikiEd.../modules/ext.wikiEditor.highlight.js

/*
 * JavaScript for WikiEditor Highlighting
 */
jQuery( document ).ready( function ( $ ) {
	// Add highlight module
	$( '#wpTextbox1' ).wikiEditor( 'addModule', 'highlight' );
} );
Lots of refactoring. This still does not work! But it's getting close. 2010-09-15 22:40:50 +00:00			`/*`
			`* JavaScript for WikiEditor Highlighting`
			`*/`
Peserve jQuery references to avoid conflicts * Added closures for jQuery where missing. * Added closures for mediaWiki where missing. * Using ready( $ ) where possible. * Removed empty CSS block. Change-Id: Ifdd4b10063221a4967d812eafd43858623ec5d28 2013-10-30 16:53:24 +00:00			`jQuery( document ).ready( function ( $ ) {`
Lots of refactoring. This still does not work! But it's getting close. 2010-09-15 22:40:50 +00:00			`// Add highlight module`
			`$( '#wpTextbox1' ).wikiEditor( 'addModule', 'highlight' );`
			`} );`