[phpMyAdmin Git] [phpmyadmin/phpmyadmin] a9231a: Update phpstan to ^0.12.30