Reload GitHub Pull Request Diff page to ignore whitespace

Reloads the GitHub Pull Request Diff page, adjusting the URL to have the diffs ignore whitespace.

ของเมื่อวันที่ 27-05-2014 ดู เวอร์ชันล่าสุด