Fix duplicate IDs. Remove bookmark section when there are no bookmarks
Check whether configuration storage tables are set and are not empty
Fix http://reports.phpmyadmin.net/reports/view/10
Syntax highlighting for some system tables
Merge branch 'master' of github.com:phpmyadmin/phpmyadmin