jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/370867 )

Change subject: PHPVersionCheck: Add 'fileinfo' extension
......................................................................


PHPVersionCheck: Add 'fileinfo' extension

We call mime_content_type() in a couple of important places with no
fallback.

Bug: T172643
Change-Id: I83db8b078f8f42d02fe6024ec9895da0688f1c91
---
M includes/PHPVersionCheck.php
1 file changed, 1 insertion(+), 0 deletions(-)

Approvals:
  jenkins-bot: Verified
  Jdlrobson: Looks good to me, approved



diff --git a/includes/PHPVersionCheck.php b/includes/PHPVersionCheck.php
index 5a440c4..c8872d2 100644
--- a/includes/PHPVersionCheck.php
+++ b/includes/PHPVersionCheck.php
@@ -36,6 +36,7 @@
                'ctype_digit' => 'ctype',
                'json_decode' => 'json',
                'iconv'       => 'iconv',
+               'mime_content_type' => 'fileinfo',
        );
 
        /**

-- 
To view, visit https://gerrit.wikimedia.org/r/370867
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I83db8b078f8f42d02fe6024ec9895da0688f1c91
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Bartosz DziewoƄski <matma....@gmail.com>
Gerrit-Reviewer: Jdlrobson <jrob...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to