wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-25 14:56:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules
History
Ed Sanders 9beb92a102 Delete extensions nodes which have been made empty 
If they have allowedEmpty=false.

Also remove unnecessary instanceof check.

Change-Id: I388202c9da5673534486b1d9d345296feeec53c3
2014-04-25 16:13:31 -07:00
..
ve-mw Delete extensions nodes which have been made empty 2014-04-25 16:13:31 -07:00
ve-wmf/i18n Localisation updates from https://translatewiki.net. 2014-04-22 19:21:57 +00:00