[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 4d9b9c: Added documentation on user settings