Reloads the GitHub Pull Request Diff page, adjusting the URL to have the diffs ignore whitespace.
Pada tanggal 27 Mei 2014. Lihat %(latest_version_link).
