[MediaWiki-commits] [Gerrit] mediawiki...MobileFrontend[master]: Delete PHP entry point
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 MobileFrontend.php 1 file changed, 0 insertions(+), 16 deletions(-) Approvals: jenkins-bot: Verified Jdlrobson: Looks good to me, approved diff --git a/MobileFrontend.php b/MobileFrontend.php deleted file mode 100644 index 3717d4a..000 --- a/MobileFrontend.php +++ /dev/null @@ -1,16 +0,0 @@ -https://www.mediawiki.org/wiki/Extension_registration for more details.' - ); */ - return true; -} else { - die( 'This version of the MobileFrontend extension requires MediaWiki 1.25+' ); -} -- To view, visit https://gerrit.wikimedia.org/r/383749 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I2fbe99790c6592a91b5f7e6e98aeb45ff3d2d624 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/MobileFrontend Gerrit-Branch: master Gerrit-Owner: ReedyGerrit-Reviewer: Jdlrobson Gerrit-Reviewer: Pmiazga Gerrit-Reviewer: jenkins-bot <> ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
[MediaWiki-commits] [Gerrit] mediawiki...MobileFrontend[master]: Delete PHP entry point
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 MobileFrontend.php 1 file changed, 0 insertions(+), 16 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/MobileFrontend refs/changes/49/383749/1 diff --git a/MobileFrontend.php b/MobileFrontend.php deleted file mode 100644 index 3717d4a..000 --- a/MobileFrontend.php +++ /dev/null @@ -1,16 +0,0 @@ -https://www.mediawiki.org/wiki/Extension_registration for more details.' - ); */ - return true; -} else { - die( 'This version of the MobileFrontend extension requires MediaWiki 1.25+' ); -} -- To view, visit https://gerrit.wikimedia.org/r/383749 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I2fbe99790c6592a91b5f7e6e98aeb45ff3d2d624 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/MobileFrontend Gerrit-Branch: master Gerrit-Owner: Reedy___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits