source on github differs from source on torproject
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$" /-->
https://$1hp.net/" />
74c78 < to="to="https://$1php.net/" />
Trac:
Username: gadelat