Merge remote-tracking branch 'origin/master'

This commit is contained in:
Weblate 2015-09-15 21:39:36 +02:00
commit 0857156e85

View File

@ -757,7 +757,7 @@ if (! defined('PMA_MINIMUM_COMMON')) {
if ($server['host'] == $_REQUEST['server']
|| $server['verbose'] == $_REQUEST['server']
|| $verboseToLower == $serverToLower
|| md5($verboseToLower) == $serverToLower
|| md5($verboseToLower) === $serverToLower
) {
$_REQUEST['server'] = $i;
break;