wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-26 07:15:32 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules
History
Ed Sanders eea7b93895 Don't wait for surface to blur before hiding pageToolbar 
Bug: T202986
Change-Id: Ia25dd7aab7c72f6888fab1fcec0185fe0b4111b5
2018-08-28 12:08:09 +00:00
..
ve-mw Don't wait for surface to blur before hiding pageToolbar 2018-08-28 12:08:09 +00:00
ve-mw-collab Export to page using action=submit 2018-08-19 11:25:17 +00:00