From 153982f98233144de97fca81af4e4ac262ee44a2 Mon Sep 17 00:00:00 2001
From: Ruben Van de Velde <65514131+Ruben-VandeVelde@users.noreply.github.com>
Date: Thu, 20 Oct 2022 18:21:33 +0200
Subject: [PATCH] Work around unsupported RegExp lookbehind in WebKit. (#85)

* Work around unsupported RegExp lookbehind in WebKit.

* Update static/find/find.js

Co-authored-by: Mario Carneiro <di.gama@gmail.com>

Co-authored-by: Mario Carneiro <di.gama@gmail.com>
---
 static/find/find.js | 19 ++++++++++++++++---
 1 file changed, 16 insertions(+), 3 deletions(-)

diff --git a/static/find/find.js b/static/find/find.js
index 8ce5b40..610c8d4 100644
--- a/static/find/find.js
+++ b/static/find/find.js
@@ -17,14 +17,27 @@
 
 import { DeclarationDataCenter } from "../declaration-data.js";
 
+function leanFriendlyRegExp(c) {
+  try {
+    return new RegExp("(?<!«[^»]*)" + c);
+  } catch (e) {
+    if (e instanceof SyntaxError) {
+      // Lookbehind is not implemented yet in WebKit: https://bugs.webkit.org/show_bug.cgi?id=174931
+      // Fall back to less friendly regex.
+      return new RegExp(c);
+    }
+    throw e;
+  }
+}
+
 /**
  * We don't use browser's default hash and searchParams in case Lean declaration name
  * can be like `«#»`, rather we manually handle the `window.location.href` with regex.
  */
 const LEAN_FRIENDLY_URL_REGEX = /^[^?#]+(?:\?((?:[^«#»]|«.*»)*))?(?:#(.*))?$/;
-const LEAN_FRIENDLY_AND_SEPARATOR = /(?<!«[^»]*)&/;
-const LEAN_FRIENDLY_EQUAL_SEPARATOR = /(?<!«[^»]*)=/;
-const LEAN_FRIENDLY_SLASH_SEPARATOR = /(?<!«[^»]*)\//;
+const LEAN_FRIENDLY_AND_SEPARATOR = leanFriendlyRegExp("&");
+const LEAN_FRIENDLY_EQUAL_SEPARATOR = leanFriendlyRegExp("=");
+const LEAN_FRIENDLY_SLASH_SEPARATOR = leanFriendlyRegExp("/");
 
 const [_, query, fragment] = LEAN_FRIENDLY_URL_REGEX.exec(window.location.href);
 const queryParams = new Map(