[MediaWiki-commits] [Gerrit] mediawiki...MobileFrontend[master]: Delete PHP entry point

2017-10-13 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/383749 ) Change subject: Delete PHP entry point .. Delete PHP entry point Change-Id: I2fbe99790c6592a91b5f7e6e98aeb45ff3d2d624 --- D

[MediaWiki-commits] [Gerrit] mediawiki...MobileFrontend[master]: Delete PHP entry point

2017-10-11 Thread Reedy (Code Review)
Reedy has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/383749 ) Change subject: Delete PHP entry point .. Delete PHP entry point Change-Id: I2fbe99790c6592a91b5f7e6e98aeb45ff3d2d624 --- D