[phpMyAdmin Git] [phpmyadmin/phpmyadmin] c71610: Add configuration option to allow shared bookmarks