[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 5f4fe6: Add a flash messages service provider