Reloads the GitHub Pull Request Diff page, adjusting the URL to have the diffs ignore whitespace.
Versión del día 27/05/2014. Echa un vistazo a la versión más reciente.
