--- src/chrome/content/rules/OK.de.xml | 8 ++++++++ 1 files changed, 8 insertions(+), 0 deletions(-) create mode 100644 src/chrome/content/rules/OK.de.xml
diff --git a/src/chrome/content/rules/OK.de.xml b/src/chrome/content/rules/OK.de.xml new file mode 100644 index 0000000..77d6512 --- /dev/null +++ b/src/chrome/content/rules/OK.de.xml @@ -0,0 +1,8 @@ +<ruleset name="OK.de"> + <target host="ok.de" /> + <target host="www.ok.de" /> + + <securecookie host="^(?:www\.)?ok\.de$" name=".+" /> + + <rule from="^http://(?:www\.)?ok\.de/" to="https://www.ok.de/" /> +</ruleset> -- 1.7.3.4
