18 Jul
2017
18 Jul
'17
1:37 p.m.
Branch: refs/heads/master
Home: https://github.com/phpmyadmin/phpmyadmin
Commit: 7244330aa0524dd71c4c5abc3c5873e33dcdfb1c
https://github.com/phpmyadmin/phpmyadmin/commit/7244330aa0524dd71c4c5abc3c5…
Author: Michal Čihař <michal(a)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(a)cihar.com>