wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-04 10:48:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/tests
History
Ed Sanders f9330c8564 Replace the save button with a save tool 
Now shows correct tooltip for save button (including
the access key).

Bug: T163142
Change-Id: If14a1a5a5829fc215cb79827392173dc05c4bdd7
2019-04-30 19:32:33 +00:00
..
ce
dm Remove support for page title "hrefPrefix" other than './' 2019-04-03 20:10:05 +00:00
init/targets Replace the save button with a save tool 2019-04-30 19:32:33 +00:00
ui Remove support for page title "hrefPrefix" other than './' 2019-04-03 20:10:05 +00:00
.eslintrc.json build: Update eslint-config-wikimedia to 0.11.0 2019-02-20 20:23:43 +00:00
mw-preload.js
ve.test.utils.js Replace the save button with a save tool 2019-04-30 19:32:33 +00:00