[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 7bc67a: Upgrade PHPStan to v0.12