<div dir="ltr"><div class="gmail_default" style="font-family:georgia,serif;font-size:small">Hi,</div><div class="gmail_default" style="font-family:georgia,serif;font-size:small"><br></div><div class="gmail_default" style="font-family:georgia,serif;font-size:small">
Thanks for the reply. When I test it with HTTPS Everywhere ​4.0dev.15 in Firefox 28 on Ubuntu 13.10 64-bit it does not redirect from http to https. See attached image. Does it redirect for other users?</div><div class="gmail_default" style="font-family:georgia,serif;font-size:small">
<br></div><div class="gmail_default" style="font-family:georgia,serif;font-size:small">Thanks and regards,</div><div class="gmail_default" style="font-family:georgia,serif;font-size:small">Joakim</div><div class="gmail_extra">
<br><br><div class="gmail_quote">2014-04-04 21:40 GMT+02:00 Yan Zhu <span dir="ltr"><<a href="mailto:yan@eff.org" target="_blank">yan@eff.org</a>></span>:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<div class="">On 02/08/2014 11:50 PM, Joakim Walldén wrote:<br>
> Hi,<br>
><br>
</div>> In the ruleset for <a href="http://wikimedia.org" target="_blank">wikimedia.org</a> <<a href="http://wikimedia.org" target="_blank">http://wikimedia.org</a>>¹, there is no<br>
> rule for <a href="http://stats.wikimedia.org" target="_blank">stats.wikimedia.org</a> <<a href="http://stats.wikimedia.org" target="_blank">http://stats.wikimedia.org</a>>. I tested<br>
<div class="">> with https-everywhere-4.0development.15. Please consider to add a rule<br>
> for <a href="http://stats.wikimedia.org" target="_blank">http://stats.wikimedia.org</a> to <a href="https://stats.wikimedia.org" target="_blank">https://stats.wikimedia.org</a>.<br>
><br>
> ¹ <a href="https://www.eff.org/https-everywhere/atlas/domains/wikimedia.org.html" target="_blank">https://www.eff.org/https-everywhere/atlas/domains/wikimedia.org.html</a><br>
><br>
> Thanks and regards,<br>
> Joakim<br>
<br>
</div>Hi,<br>
<br>
It's actually covered already in <div class="gmail_default" style="font-family:georgia,serif;font-size:small;display:inline">​​</div>4.0dev.15 by this somewhat-obfuscated<br>
regex in Wikimedia.xml:<br>
<br>
  <rule<br>
from="^http://([^@:/]+\.)?wik(ibooks|idata|imedia|inews|ipedia|iquote|isource|iversity|ivoyage|tionary)\.org/"<br>
        to="https://$1wik$<a href="http://2.org/" target="_blank">2.org/</a>" /><br>
<br>
<br>
</blockquote></div><br></div></div>