wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-25 06:46:26 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles
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
..
apex Drop local 'template' icon, use 'puzzle' from upstream 2017-07-06 09:52:56 -07:00
contextitems Align border and border-radius values 2017-08-16 14:05:55 -07:00
dialogs Align border and border-radius values 2017-08-16 14:05:55 -07:00
elements Replace remaining greys/reds with WikimediaUI color palette colors 2017-08-16 13:43:02 -07:00
images/icons Drop local 'template' icon, use 'puzzle' from upstream 2017-07-06 09:52:56 -07:00
inspectors Replace remaining greys/reds with WikimediaUI color palette colors 2017-08-16 13:43:02 -07:00
pages Replace remaining greys/reds with WikimediaUI color palette colors 2017-08-16 13:43:02 -07:00
tools EducationPopup: Add cursor:pointer 2017-08-30 17:48:27 +00:00
widgets Align border and border-radius values 2017-08-16 14:05:55 -07:00
wikimediaui Drop local 'template' icon, use 'puzzle' from upstream 2017-07-06 09:52:56 -07:00
ve.ui.Icons.css build: Bump file copyright notices for 2017 2017-01-03 08:58:33 -08:00
ve.ui.MWWikitextSurface.css Improve NWE new section styles 2017-03-03 11:59:06 +00:00