Public Git Hosting - phpmyadmin.git/commit

import and export for user preferences (currently JSON file only)
add preferences reset

.gsoc/todo.txt		diff \| blob \| blame \| history
js/config.js		diff \| blob \| blame \| history
libraries/config/ConfigFile.class.php		diff \| blob \| blame \| history
libraries/config/FormDisplay.class.php		diff \| blob \| blame \| history
libraries/server_links.inc.php		diff \| blob \| blame \| history
libraries/user_preferences.inc.php	[new file with mode: 0644]	blob
libraries/user_preferences.lib.php		diff \| blob \| blame \| history
main.php		diff \| blob \| blame \| history
prefs_forms.php		diff \| blob \| blame \| history
prefs_manage.php	[new file with mode: 0644]	blob
themes/original/css/theme_right.css.php		diff \| blob \| blame \| history

phpMyAdmin