wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-28 16:20:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules
History
Bartosz Dziewoński e75774f667 Remove unused ve.ui.*Inspector.static.removable = false; 
Nothing seems to refer to this anywhere.

Change-Id: I3c1c5f16a897377a2d2f8345758fb6e67ba69ccb
2015-03-12 19:31:46 +01:00
..
ve-mw Remove unused ve.ui.*Inspector.static.removable = false; 2015-03-12 19:31:46 +01:00
ve-wmf/i18n Localisation updates from https://translatewiki.net. 2015-03-05 22:30:14 +01:00