# HG changeset patch
# User Guido Berhoerster <guido+feed-preview@berhoerster.name>
# Date 1618695930 -7200
# Node ID 106d78e26d3c5c04e5019b69674aefb7bbe14f58
# Parent  46c0595f2dcc8c8b60fe5acec0fb2659b3a71638
Allow placeholder in the fragment identifier

diff -r 46c0595f2dcc -r 106d78e26d3c options/options.js
--- a/options/options.js	Sat Apr 17 23:07:57 2021 +0200
+++ b/options/options.js	Sat Apr 17 23:45:30 2021 +0200
@@ -94,7 +94,7 @@
             return browser.i18n.getMessage('invalidProtocolError');
         }
 
-        if (!(url.pathname.includes('%s') || url.search.includes('%s'))) {
+        if (!(url.pathname.includes('%s') || url.search.includes('%s') || url.hash.includes('%s'))) {
             return browser.i18n.getMessage('missingPlaceholderError');
         }