wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-04 18:58:37 +00:00
Code Issues Packages Projects Releases Wiki Activity
15672 commits 14 branches 17 tags 199 MiB
Commit graph

2 commits

Author SHA1 Message Date
James D. Forrester dd5a1f0285 Follow-up f9330c8564: Don't auto-add MWSaveTool 
Bug: T222325
Change-Id: I1ccd43c6de51cd2fc8d4fc3291b1870b99736d80
 2019-05-02 15:57:34 -07:00
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