HTTPS-Everywhere-Rulesets/MediaCluster.de.xml

8 lines
369 B
XML

<ruleset name="MediaCluster">
<target host="*.mediacluster.de" />
<target host="mediacluster.de" />
<rule from="^http://mediacluster\.de/" to="https://www.mediacluster.de/"/>
<rule from="^http://intern.mediacluster\.de/" to="https://intern.mediacluster.de/"/>
<rule from="^http://([^/:@\.]+)\.mediacluster\.de/" to="https://$1.mediacluster.de/"/>
</ruleset>