From c1f9b1f7b1b77776192048005dcc66dcf3df2bfb Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Sat, 27 Dec 2014 15:41:37 +0100 Subject: Update to MediaWiki 1.24.1 --- extensions/WikiEditor/modules/ext.wikiEditor.highlight.js | 8 -------- 1 file changed, 8 deletions(-) delete mode 100644 extensions/WikiEditor/modules/ext.wikiEditor.highlight.js (limited to 'extensions/WikiEditor/modules/ext.wikiEditor.highlight.js') diff --git a/extensions/WikiEditor/modules/ext.wikiEditor.highlight.js b/extensions/WikiEditor/modules/ext.wikiEditor.highlight.js deleted file mode 100644 index a6b43851..00000000 --- a/extensions/WikiEditor/modules/ext.wikiEditor.highlight.js +++ /dev/null @@ -1,8 +0,0 @@ -/* - * JavaScript for WikiEditor Highlighting - */ - -$( document ).ready( function() { - // Add highlight module - $( '#wpTextbox1' ).wikiEditor( 'addModule', 'highlight' ); -} ); -- cgit v1.2.3-54-g00ecf