[MediaWiki-commits] [Gerrit] Sync extension.json with CodeEditor.php and empty php entry ... - change (mediawiki...CodeEditor)
jenkins-bot has submitted this change and it was merged. Change subject: Sync extension.json with CodeEditor.php and empty php entry point .. Sync extension.json with CodeEditor.php and empty php entry point Change-Id:
[MediaWiki-commits] [Gerrit] Sync extension.json with CodeEditor.php and empty php entry ... - change (mediawiki...CodeEditor)
Paladox has uploaded a new change for review. https://gerrit.wikimedia.org/r/214043 Change subject: Sync extension.json with CodeEditor.php and empty php entry point .. Sync extension.json with CodeEditor.php and empty php