[tor-bugs] #13351 [EFF-HTTPS Everywhere]: source on github differs from source on torproject

[Tor Bug Tracker & Wiki]

#13351: source on github differs from source on torproject
----------------------------------+----------------------
 Reporter:  gadelat               |          Owner:  zyan
     Type:  defect                |         Status:  new
 Priority:  normal                |      Milestone:
Component:  EFF-HTTPS Everywhere  |        Version:
 Keywords:                        |  Actual Points:
Parent ID:                        |         Points:
----------------------------------+----------------------
 File src/chrome/content/rules/PHP.xml in master branch is different on
 github and torproject servers. There is bug in this file on second server,
 while it is not present on github. I thought they should be identical. It
 confused me for a moment when I was trying to contribute.

 $ diff https-everywhere-torproject/src/chrome/content/rules/PHP.xml https-
 everywhere-github/src/chrome/content/rules/PHP.xml
 69a70,73
 >       <!--    Not secured by server:
 >                                       -->
 >       <!--securecookie host="^bugs\.php\.net$" name="^PHPSESSID$" /-->
 >
 74c78
 <               to="https://$1hp.net/" />
 ---
 >               to="https://$1php.net/" />

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/13351>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online