Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: 831a34ba371ad39cc7e49f52ace8a8c5bf94e309 https://github.com/phpmyadmin/phpmyadmin/commit/831a34ba371ad39cc7e49f52ace8... Author: Hugues Peccatte <hugues.peccatte@gmail.com> Date: 2015-05-14 (Thu, 14 May 2015) Changed paths: M libraries/Theme_Manager.class.php Log Message: ----------- Minor coding style modification. Signed-off-by: Hugues Peccatte <hugues.peccatte@gmail.com>