Fix top menu borders.

Signed-off-by: Edward Cheng <c4150221@gmail.com>
Merge branch 'fix_top_menu_border' of git://github.com/WhaleWatching/phpmyadmin
Honor URL separator in get_scripts parameters

Signed-off-by: Michal Čihař <michal@cihar.com>