phpmyadmin/phpmyadmin — pull request #971 by WhaleWatching (2014-02-27 01:16:13+00:00)
Title: Fix top menu borders.

Signed-off-by: Edward Cheng <c4150221@gmail.com>