From df3bcbb6cb1f129b60b69a5b8fe63e57e539e17e Mon Sep 17 00:00:00 2001 From: Mikael Nordfeldth Date: Wed, 30 Mar 2016 01:31:17 +0200 Subject: [PATCH] Possibly replace weirdly capitalized htTPs: too --- plugins/WebFinger/lib/webfingerresource.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plugins/WebFinger/lib/webfingerresource.php b/plugins/WebFinger/lib/webfingerresource.php index e4f14b13d5..a1ebda6a33 100644 --- 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; } } -- 2.39.5