Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: 9bfb7dd35bf05e65bda790f5a8bb23af785f55e8 https://github.com/phpmyadmin/phpmyadmin/commit/9bfb7dd35bf05e65bda790f5a8bb... Author: Nisarg Jhaveri nisargjhaveri@gmail.com Date: 2014-12-04 (Thu, 04 Dec 2014)

Changed paths: M libraries/Util.class.php

Log Message: ----------- Better implementation of placeholder in dropdowns

If something else is selected, show placeholder as disabled option. Previously it was ignoring `$active_choice` if placeholder is given.

Signed-off-by: Nisarg Jhaveri nisargjhaveri@gmail.com

Commit: 6596f1e5f7a1653a8a87467be4e44824d18c7c05 https://github.com/phpmyadmin/phpmyadmin/commit/6596f1e5f7a1653a8a87467be4e4... Author: Marc Delisle marc@infomarc.info Date: 2014-12-04 (Thu, 04 Dec 2014)

Changed paths: M libraries/Util.class.php

Log Message: ----------- Merge pull request #1413 from nisargjhaveri/dropdown_placeholder

Better implementation of placeholder in dropdowns

Compare: https://github.com/phpmyadmin/phpmyadmin/compare/d6559c9c5748...6596f1e5f7a1