[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 328cdb: Improve the CI workflow for optional extensions and some titles