From a4abadf28a5ee8e3ec13a8d17cb4ddbd7f31d4d9 Mon Sep 17 00:00:00 2001
From: Andreu Botella <abb@randomunok.com>
Date: Thu, 7 Jan 2021 21:08:13 +0100
Subject: [PATCH] Editorial: Remove "prefix match"

After the removal of AppCache in #6153, this algorithm is now unused.
---
 source | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/source b/source
index 62ff0790a23..6aee3ee4989 100644
--- a/source
+++ b/source
@@ -4212,11 +4212,6 @@ a.setAttribute('href', 'https://example.com/'); // change the content attribute
 
   </div>
 
-  <h3 id="case-sensitivity-and-string-comparison">String comparison</h3>
-
-  <p>A string <var>pattern</var> is a <dfn>prefix match</dfn> for a string <var>s</var> when
-  <var>pattern</var> is not longer than <var>s</var> and truncating <var>s</var> to
-  <var>pattern</var>'s length leaves the two strings as matches of each other.</p>
 
 
   <h3 id="policy-controlled-features">Policy-controlled features</h3>