[phpMyAdmin Git] [phpmyadmin/phpmyadmin] c6206a: Fix for page name already existing in designer page names