From 302966d56e0559264d41413e36d23f8cf5e78f81 Mon Sep 17 00:00:00 2001
From: rugk <rugk@users.noreply.github.com>
Date: Tue, 10 Nov 2015 20:12:41 +0100
Subject: [PATCH] [New ruleset] PHPDoc

disabled because expired cert; [I've
asked](https://twitter.com/rugkme/status/664158508808581121) what PhpDoc
wants to do about this
---
 src/chrome/content/rules/Phpdoc.org.xml | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 src/chrome/content/rules/Phpdoc.org.xml

diff --git a/src/chrome/content/rules/Phpdoc.org.xml b/src/chrome/content/rules/Phpdoc.org.xml
new file mode 100644
index 000000000000..37e335121006
--- /dev/null
+++ b/src/chrome/content/rules/Phpdoc.org.xml
@@ -0,0 +1,12 @@
+<!--
+
+-->
+<ruleset name="PhpDocumentor" default_off="expired cert">
+    <target host="phpdoc.org" />
+    <target host="www.phpdoc.org" />
+
+    <!-- <securecookie host="^(www\.)?phpdoc\.org/$" name=".+" /> -->
+	
+    <rule from="^http:"
+            to="https:" />
+</ruleset>