wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-30 21:56:49 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve/init/mw/targets
History
James D. Forrester f06ab8b263 Don't underline the 'user guide' link when hovering the tool menu 
There are wider issues about sub-tools here, but this fixes the most glaring issue
for now.

Change-Id: I5ff2d67642daea2f84ccc56fe391eee9ca01d099
2013-07-01 11:48:21 -07:00
..
ve.init.mw.ViewPageTarget.js Don't underline the 'user guide' link when hovering the tool menu 2013-07-01 11:48:21 -07:00