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