Possibly replace weirdly capitalized htTPs: too

diff --git a/plugins/WebFinger/lib/webfingerresource.php b/plugins/WebFinger/lib/webfingerresource.php
index e4f14b13d532fa932239105feb95055ebfe83f22..a1ebda6a33d999b7a4a2194e1ec1afab64a3c414 100644 (file)
--- a/plugins/WebFinger/lib/webfingerresource.php
+++ b/plugins/WebFinger/lib/webfingerresource.php
@@ -42,7 +42,7 @@ abstract class WebFingerResource
                 if (!strtolower(parse_url($alias, PHP_URL_SCHEME)) === 'https') {
                     continue;
                 }
-                $aliases[preg_replace('/^https:/', 'http:', $alias, 1)] = $id;
+                $aliases[preg_replace('/^https:/i', 'http:', $alias, 1)] = $id;
             }
         }