[phpMyAdmin Git] [phpmyadmin/phpmyadmin] a80785: Fix #15141 - php notice Undefined index: designer_settings