diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2014-12-27 15:41:37 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2014-12-31 11:43:28 +0100 |
| commit | c1f9b1f7b1b77776192048005dcc66dcf3df2bfb (patch) | |
| tree | 2b38796e738dd74cb42ecd9bfd151803108386bc /extensions/WikiEditor/modules/ext.wikiEditor.highlight.js | |
| parent | b88ab0086858470dd1f644e64cb4e4f62bb2be9b (diff) | |
Update to MediaWiki 1.24.1
Diffstat (limited to 'extensions/WikiEditor/modules/ext.wikiEditor.highlight.js')
| -rw-r--r-- | extensions/WikiEditor/modules/ext.wikiEditor.highlight.js | 8 |
1 files changed, 0 insertions, 8 deletions
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' ); -} ); |