wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-27 07:40:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles/tools
History
Ed Sanders 24747966b6 EducationPopup: Add cursor:pointer 
We still expect the user to click on the tool, and
the actions still works (albeit delayed), so we
should use cursor:pointer.

Change-Id: I6d2b0140f5fd918809f05acc6e405ef430c518fd
2017-08-30 17:48:27 +00:00
..
images Remove execute mode from non-executable 2017-08-24 10:57:25 -04:00
ve.ui.MWEducationPopupTool.css EducationPopup: Add cursor:pointer 2017-08-30 17:48:27 +00:00
ve.ui.MWLinkInspectorTool.css
ve.ui.MWPopupTool.css Align border and border-radius values 2017-08-16 14:05:55 -07:00