phpmyadmin/phpmyadmin — pull request #1413 by nisargjhaveri (2014-12-04 13:17:49+00:00)
Title: Better implementation of placeholder in dropdowns

If some other option is selected, show placeholder as disabled option.

Previously it was ignoring `$active_choice` if placeholder is given.