wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-27 17:50:44 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-WikiEd.../modules
History
Thiemo Kreuz 7573a7dbad Remove all unused "loading" code, messages and animations 
The CSS was already unused when the extension was created in 2010.
A comment that still mentioned the CSS class was removed via
I0798864 in 2022.

The message is unused since I9fb7e66, that was in 2021.

Change-Id: I25cd31efc4ee61ff3f857c280b5cd18c3ae4bd00
2022-04-21 15:29:15 +02:00
..
images Remove all unused "loading" code, messages and animations 2022-04-21 15:29:15 +02:00
insertlink Fix return value of TitleInputWidget.looksLikeExternalLink() 2022-04-20 14:47:03 +08:00
realtimepreview Merge "Realtime Preview: display manual-reload bar when previews are slow" 2022-04-21 00:55:21 +00:00
templates dialogInsertTable: empty preview-hidden row to hide header row when needed 2022-03-14 07:31:41 +00:00
.eslintrc.json build: Update eslint-config-wikimedia to 0.21.0 2022-02-07 17:27:27 +00:00
ext.wikiEditor.js Add event logging for Realtime Preview enabling and disabling 2022-04-04 14:25:16 +08:00
ext.wikiEditor.toolbar.styles.less Update stylelint-config-wikimedia 2021-06-15 15:14:04 +01:00
jquery.wikiEditor.dialogs.config.js Partially revert mistake in JavaScript code optimization 2022-03-23 08:47:19 +01:00
jquery.wikiEditor.dialogs.config.less Remove out-of-date CSS 2021-10-13 11:03:32 +08:00
jquery.wikiEditor.dialogs.js Remove 'resize' logic from jQuery UI dialogs 2021-10-12 11:46:21 +02:00
jquery.wikiEditor.dialogs.less Update stylelint-config-wikimedia to 0.5.0 2018-12-04 17:33:05 -05:00
jquery.wikiEditor.js Merge "Streamline smaller pieces of JavaScript code" 2022-03-16 20:52:38 +00:00
jquery.wikiEditor.less Remove all unused "loading" code, messages and animations 2022-04-21 15:29:15 +02:00
jquery.wikiEditor.toolbar-apex.less Align toolbar styling with Apex 2020-02-04 17:16:37 -08:00
jquery.wikiEditor.toolbar-wikimedia.less Update stylelint-config-wikimedia 2021-06-15 15:14:04 +01:00
jquery.wikiEditor.toolbar.config.js Add new 'secondary' toolbar section 2021-12-01 11:19:41 +08:00
jquery.wikiEditor.toolbar.js Streamline smaller pieces of JavaScript code 2022-03-04 09:22:07 +00:00
jquery.wikiEditor.toolbar.less Add new 'secondary' toolbar section 2021-12-01 11:19:41 +08:00