Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: 3f385970f4bff546bb80b6d0592381daf4d45a77 https://github.com/phpmyadmin/phpmyadmin/commit/3f385970f4bff546bb80b6d05923... Author: Marc Delisle <marc@infomarc.info> Date: 2013-09-17 (Tue, 17 Sep 2013) Changed paths: M libraries/navigation/NavigationHeader.class.php Log Message: ----------- Fix coding style