[Phpmyadmin-git] [phpmyadmin/error-reporting-server] 1add71: Whitespace fixup