[MediaWiki-commits] [Gerrit] Convert extension to Extension Registration - change (mediawiki...MinimumNameLength)

2016-07-23 Thread Kghbln (Code Review)
Kghbln has submitted this change and it was merged. Change subject: Convert extension to Extension Registration .. Convert extension to Extension Registration Change-Id: If0044ed0673d7434f35126dcb012c76c1f9d8175 --- M

[MediaWiki-commits] [Gerrit] Convert extension to Extension Registration - change (mediawiki...MinimumNameLength)

2016-07-22 Thread Florianschmidtwelzow (Code Review)
Florianschmidtwelzow has uploaded a new change for review. https://gerrit.wikimedia.org/r/300556 Change subject: Convert extension to Extension Registration .. Convert extension to Extension Registration Change-Id: