wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-11 22:16:15 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles
History
Ed Sanders 7cc538fe51 Use upstream pulsating dot 
Bug: T226719
Depends-On: Ibd035ea48b7d0316a7627a91623ff6116ccbae31
Change-Id: Iedf88e9c5ac8efa809ccb25f2081eff9946da395
2019-08-28 13:40:29 +01:00
..
apex MediaDialog: Use new icons 2019-04-29 10:00:06 -07:00
contextitems Update VE core submodule to master (07687721b) 2019-08-23 00:25:51 +02:00
dialogs SaveDialog: Hide options bar when empty 2019-07-16 14:28:25 +01:00
elements
images MediaDialog: Use new icons 2019-04-29 10:00:06 -07:00
inspectors Update VE core submodule to master (07687721b) 2019-08-23 00:25:51 +02:00
pages
tools Use upstream pulsating dot 2019-08-28 13:40:29 +01:00
widgets
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