Reloads the GitHub Pull Request Diff page, adjusting the URL to have the diffs ignore whitespace.
Verzia zo dňa 27.05.2014. Pozri najnovšiu verziu.
