[Phpmyadmin-git] [phpmyadmin/scripts] 91c1b9: Add helper for fetching pull request diff