[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 5c25e0: scripts/revision-info: Add GitHub https URL