[MediaWiki-commits] [Gerrit] Sync extension.json with CodeEditor.php and empty php entry ... - change (mediawiki...CodeEditor)

2015-05-31 Thread jenkins-bot (Code Review)
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)

2015-05-27 Thread Paladox (Code Review)
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