wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-04 18:58:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles/tools
History
Ed Sanders 7cc538fe51 Use upstream pulsating dot 
Bug: T226719
Depends-On: Ibd035ea48b7d0316a7627a91623ff6116ccbae31
Change-Id: Iedf88e9c5ac8efa809ccb25f2081eff9946da395
2019-08-28 13:40:29 +01:00
..
images Swap the link-rtl.png and link-ltr.png files 2019-02-22 02:38:56 -05:00
ve.ui.MWEducationPopupTool.css Use upstream pulsating dot 2019-08-28 13:40:29 +01:00
ve.ui.MWFormatTool-minerva.css doc: Bump copyright year for 2019 2019-01-01 13:24:23 +00:00
ve.ui.MWFormatTool-monobook.css doc: Bump copyright year for 2019 2019-01-01 13:24:23 +00:00
ve.ui.MWFormatTool-vector.css doc: Bump copyright year for 2019 2019-01-01 13:24:23 +00:00
ve.ui.MWLinkInspectorTool.css doc: Bump copyright year for 2019 2019-01-01 13:24:23 +00:00
ve.ui.MWPopupTool.css doc: Bump copyright year for 2019 2019-01-01 13:24:23 +00:00