[phpMyAdmin Git] [phpmyadmin/phpmyadmin] f99c7d: Add page name