Public Git Hosting - phpmyadmin.git/commit

Developers tab no longer depends on UserprefsDisallow, introduced UserprefsDeveloperTab setting

phpMyAdmin

libraries/config.default.php		diff \| blob \| blame \| history
libraries/config/ConfigFile.class.php		diff \| blob \| blame \| history
libraries/config/FormDisplay.class.php		diff \| blob \| blame \| history
libraries/config/FormDisplay.tpl.php		diff \| blob \| blame \| history
libraries/config/messages.inc.php		diff \| blob \| blame \| history
libraries/config/setup.forms.php		diff \| blob \| blame \| history
libraries/config/user_preferences.forms.php		diff \| blob \| blame \| history
libraries/user_preferences.lib.php		diff \| blob \| blame \| history
prefs_forms.php		diff \| blob \| blame \| history