wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-25 23:05:35 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles/tools
History
Alex Monk 5eaa211d43 MWEducationPopupTool: Changes to the dot 
Make the dot more like the one in the designs, with two circles etc.

Change-Id: Ic3e1b2dcd846c5825455b68697acab44016ee598
2015-11-03 01:15:44 +00:00
..
images Educational popups and highlights for links+citations 2015-10-06 14:33:57 +01:00
ve.ui.MWEducationPopupTool.css MWEducationPopupTool: Changes to the dot 2015-11-03 01:15:44 +00:00
ve.ui.MWLinkInspectorTool.css EducationPopup: Tidy up DOM and CSS 2015-10-15 22:35:30 +01:00
ve.ui.MWPopupTool.css