Branch: refs/heads/master Home: https://github.com/phpmyadmin/phpmyadmin Commit: 7244330aa0524dd71c4c5abc3c5873e33dcdfb1c https://github.com/phpmyadmin/phpmyadmin/commit/7244330aa0524dd71c4c5abc3c58... Author: Michal Čihař <michal@cihar.com> Date: 2017-07-18 (Tue, 18 Jul 2017) Changed paths: M libraries/server_privileges.lib.php Log Message: ----------- Add missing server version definition Signed-off-by: Michal Čihař <michal@cihar.com>