Branch: refs/heads/master
Home:
https://github.com/phpmyadmin/phpmyadmin
Commit: 07071a169b4e6c93140c08ecb75a8842323aa82d
https://github.com/phpmyadmin/phpmyadmin/commit/07071a169b4e6c93140c08ecb75…
Author: Marc Delisle <marc(a)infomarc.info>
Date: 2015-07-27 (Mon, 27 Jul 2015)
Changed paths:
M libraries/navigation/NavigationTree.class.php
M libraries/navigation/Nodes/Node.class.php
Log Message:
-----------
Make phan happy
Signed-off-by: Marc Delisle <marc(a)infomarc.info>