wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-15 03:35:58 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-WikiEd.../modules
History
Volker E 17b772e314 Use 'reference' instead of 'book' icon 
'reference' is the standard icon for reference.

Bug: T202463
Change-Id: I3e0ed63c449de623a139b3ee3c6866ba3faa7712
2018-08-21 15:53:22 -07:00
..
images Convert remaining tools to OOUI 2018-04-11 15:50:23 +01: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 Use 'reference' instead of 'book' icon 2018-08-21 15:53:22 -07: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 Allow dialogs to have their borders 2018-04-02 22:11:13 +01:00
jquery.wikiEditor.html Remove IE8 hacks 2017-05-22 11:50:04 +02:00
jquery.wikiEditor.js Merge "Remove dummy isSupported function, deprecated in REL1_31" 2018-04-18 10:32:20 +00:00
jquery.wikiEditor.less Remove background colour on WikiEditor wrapper 2018-04-02 22:09:58 +01:00
jquery.wikiEditor.toolbar.config.js Convert remaining tools to OOUI 2018-04-11 15:50:23 +01:00
jquery.wikiEditor.toolbar.js Toolbar: Add a new 'toggle' tool type; declare as v0.5.2 2018-08-17 11:19:32 -07:00
jquery.wikiEditor.toolbar.less Convert remaining tools to OOUI 2018-04-11 15:50:23 +01:00