Reloads the GitHub Pull Request Diff page, adjusting the URL to have the diffs ignore whitespace.
Versione datata 27/05/2014. Vedi la nuova versione l'ultima versione.
