[phpMyAdmin Git] [phpmyadmin/phpmyadmin] b12411: Fix header in User Properties editor