[MediaWiki-commits] [Gerrit] Empty PHP entry point in favor of extension.json - change (mediawiki...WikiEditor)

jenkins-bot has submitted this change and it was merged. Change subject: Empty PHP entry point in favor of extension.json .. Empty PHP entry point in favor of extension.json Extension registration currently doesn't support merg

[MediaWiki-commits] [Gerrit] Empty PHP entry point in favor of extension.json - change (mediawiki...WikiEditor)

Paladox has uploaded a new change for review. https://gerrit.wikimedia.org/r/212351 Change subject: Empty PHP entry point in favor of extension.json .. Empty PHP entry point in favor of extension.json Extension registration c

[MediaWiki-commits] [Gerrit] Empty PHP entry point in favor of extension.json - change (mediawiki...WikiEditor)

Paladox has uploaded a new change for review. https://gerrit.wikimedia.org/r/212345 Change subject: Empty PHP entry point in favor of extension.json .. Empty PHP entry point in favor of extension.json Extension registration c

[MediaWiki-commits] [Gerrit] Empty PHP entry point in favor of extension.json - change (mediawiki...WikiEditor)

jenkins-bot has submitted this change and it was merged. Change subject: Empty PHP entry point in favor of extension.json .. Empty PHP entry point in favor of extension.json Extension registration currently doesn't support merg

[MediaWiki-commits] [Gerrit] Empty PHP entry point in favor of extension.json - change (mediawiki...WikiEditor)

Legoktm has uploaded a new change for review. https://gerrit.wikimedia.org/r/212249 Change subject: Empty PHP entry point in favor of extension.json .. Empty PHP entry point in favor of extension.json Extension registration c