wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-26 19:56:49 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles
History
Ed Sanders 3f892fe368 Simplify pulsating dot to one DOM node using :before/:after 
Change-Id: I81af08d58a33b6d3751bfc5012217b9bd98e69dc
2019-06-27 15:35:50 +01:00
..
apex MediaDialog: Use new icons 2019-04-29 10:00:06 -07:00
contextitems doc: Bump copyright year for 2019 2019-01-01 13:24:23 +00:00
dialogs stylelint: Enforce class name pattern 2019-01-13 15:14:53 +00:00
elements doc: Bump copyright year for 2019 2019-01-01 13:24:23 +00:00
images MediaDialog: Use new icons 2019-04-29 10:00:06 -07:00
inspectors doc: Bump copyright year for 2019 2019-01-01 13:24:23 +00:00
pages doc: Bump copyright year for 2019 2019-01-01 13:24:23 +00:00
tools Simplify pulsating dot to one DOM node using :before/:after 2019-06-27 15:35:50 +01:00
widgets stylelint: Enforce class name pattern 2019-01-13 15:14:53 +00:00
wikimediaui MediaDialog: Use new icons 2019-04-29 10:00:06 -07:00
ve.ui.MWWikitextSurface.css rootNode/documentNode -> attachedRootNode 2019-02-13 19:03:36 +00:00