Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: d19104fa728aecc3e6317ed7b8f1d270d327b04b https://github.com/phpmyadmin/phpmyadmin/commit/d19104fa728aecc3e6317ed7b8f1... Author: Nisarg Jhaveri <nisargjhaveri@gmail.com> Date: 2015-05-26 (Tue, 26 May 2015) Changed paths: M db_structure.php Log Message: ----------- Fix bug#4925 - Don't show page-settings when not needed in db_structure Signed-off-by: Nisarg Jhaveri <nisargjhaveri@gmail.com> Commit: b4f6dfded0cfa0a04231a62382aae56ce992e6ae https://github.com/phpmyadmin/phpmyadmin/commit/b4f6dfded0cfa0a04231a62382aa... Author: Marc Delisle <marc@infomarc.info> Date: 2015-05-26 (Tue, 26 May 2015) Changed paths: M db_structure.php Log Message: ----------- Merge pull request #1695 from nisargjhaveri/issue_4925 Fix bug#4925 Compare: https://github.com/phpmyadmin/phpmyadmin/compare/0d43645dbf43...b4f6dfded0cf