phpmyadmin/phpmyadmin — pull request #996 by Tithugues (2014-03-03 20:35:25+00:00)
Title: Improve bookmarked searches

Here are some modifications on bookmarked searches.
It's not finished. There are still debates about the way to highlight an error.