jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/366274 )
Change subject: Remove 'install.settings' file ...................................................................... Remove 'install.settings' file It's redundant with the installation instructions on mediawiki.org. It also seems a bit non-standard and not very clear how it should be used. Change-Id: I1cde2a47206d94050d5fcb4e9b96b0a59e48a9f6 --- D install.settings 1 file changed, 0 insertions(+), 2 deletions(-) Approvals: Legoktm: Looks good to me, approved jenkins-bot: Verified diff --git a/install.settings b/install.settings deleted file mode 100644 index f602d27..0000000 --- a/install.settings +++ /dev/null @@ -1,2 +0,0 @@ -require_once( "{{path}}/Polyglot.php" ); - -- To view, visit https://gerrit.wikimedia.org/r/366274 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I1cde2a47206d94050d5fcb4e9b96b0a59e48a9f6 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Polyglot Gerrit-Branch: master Gerrit-Owner: Umherirrender <umherirrender_de...@web.de> Gerrit-Reviewer: Legoktm <lego...@member.fsf.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits