I see, this is fixed on master but wasn't in the latest release. On 04/04/2014 01:00 PM, Joakim Walldén wrote: > Hi, > > 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? > > Thanks and regards, > Joakim > > > 2014-04-04 21:40 GMT+02:00 Yan Zhu <[email protected] <mailto:[email protected]>>: > > On 02/08/2014 11:50 PM, Joakim Walldén wrote: > > Hi, > > > > In the ruleset for wikimedia.org <http://wikimedia.org> > <http://wikimedia.org>¹, there is no > > rule for stats.wikimedia.org <http://stats.wikimedia.org> > <http://stats.wikimedia.org>. I tested > > with https-everywhere-4.0development.15. Please consider to add a rule > > for http://stats.wikimedia.org to https://stats.wikimedia.org. > > > > ¹ > https://www.eff.org/https-everywhere/atlas/domains/wikimedia.org.html > > > > Thanks and regards, > > Joakim > > Hi, > > It's actually covered already in > > 4.0dev.15 by this somewhat-obfuscated > regex in Wikimedia.xml: > > <rule > > from="^http://([^@:/]+\.)?wik(ibooks|idata|imedia|inews|ipedia|iquote|isource|iversity|ivoyage|tionary)\.org/" > to="https://$1wik$2.org/ <http://2.org/>" /> > > >
-- Yan Zhu [email protected] Staff Technologist Tel +1 415 436 9333 x134 Electronic Frontier Foundation Fax +1 415 436 9993
signature.asc
Description: OpenPGP digital signature
