[MediaWiki-commits] [Gerrit] mediawiki...MinimumNameLength[master]: Fix fatal and other tweaks

2016-07-26 Thread Florianschmidtwelzow (Code Review)
Florianschmidtwelzow has submitted this change and it was merged. Change subject: Fix fatal and other tweaks .. Fix fatal and other tweaks * Fix fatal due to unsupported manifest version * Consistently name this extension * Twe

[MediaWiki-commits] [Gerrit] mediawiki...MinimumNameLength[master]: Fix fatal and other tweaks

2016-07-26 Thread Kghbln (Code Review)
Kghbln has uploaded a new change for review. https://gerrit.wikimedia.org/r/301086 Change subject: Fix fatal and other tweaks .. Fix fatal and other tweaks * Fix fatal due to unsupported manifest version * Consistently name t