mediawiki-extensions-WikiEd.../modules
James D. Forrester 86256e0c10 Remove reference to mw-editButtons-pipe-separator, now removed from MW
Change-Id: I50aeda4aee2dae8094ae19bdc6fb0c64425c3e14
2018-01-10 14:27:59 -08:00
..
images Merge "Revert "Compress PNGs with zopflipng"" 2016-02-28 00:29:33 +00:00
templates WikiEditor: Move HTML for dialogs to separate files 2015-08-14 13:07:27 +00:00
ext.wikiEditor.dialogs.js Remove browser compatibility checks 2018-01-02 21:44:59 +00:00
ext.wikiEditor.js Track time-to-ready/loaded via window.performance 2017-12-11 11:53:14 -06:00
ext.wikiEditor.toolbar.js Remove browser compatibility checks 2018-01-02 21:44:59 +00:00
ext.wikiEditor.toolbar.styles.less Remove reference to mw-editButtons-pipe-separator, now removed from MW 2018-01-10 14:27:59 -08:00
jquery.wikiEditor.dialogs.config.js build: Update linters and fix errors 2017-10-31 18:40:57 +00:00
jquery.wikiEditor.dialogs.config.less Drop the never-finished "Labs" publish and preview features 2018-01-02 21:00:44 +00:00
jquery.wikiEditor.dialogs.js Remove browser compatibility checks 2018-01-02 21:44:59 +00:00
jquery.wikiEditor.dialogs.less Merge "build: Update linters and fix errors" 2017-10-31 19:17:42 +00:00
jquery.wikiEditor.html Remove IE8 hacks 2017-05-22 11:50:04 +02:00
jquery.wikiEditor.js Save/restore selection in all browsers 2018-01-02 21:46:31 +00:00
jquery.wikiEditor.less Align colors with WikimediaUI color palette 2017-10-31 17:12:52 +01:00
jquery.wikiEditor.toolbar.config.js WikiEditor: <br /> -> <br> 2017-06-04 20:54:37 +02:00
jquery.wikiEditor.toolbar.js build: Update linters and fix errors 2017-10-31 18:40:57 +00:00
jquery.wikiEditor.toolbar.less More alignment with WikimediaUI color style 2017-10-31 21:48:22 +01:00