[HTTPS-E Rulesets] [PATCH 02/15] Add OK.de

[Matthias-Christian Ott]

---
 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