1
0
mirror of https://github.com/phpmyadmin/phpmyadmin.git synced 2026-10-28 07:41:55 +03:00

Whitespace cleanup

This commit is contained in:
Michal Čihař
2013-06-11 08:52:51 +02:00
parent 47652894f7
commit b6073bf722

View File

@@ -117,9 +117,9 @@ if ($server > 0 || count($cfg['Servers']) > 1
/**
* Displays the MySQL servers choice form
*/
if ($cfg['ServerDefault'] == 0
if ($cfg['ServerDefault'] == 0
|| (! $cfg['NavigationDisplayServers']
&& (count($cfg['Servers']) > 1
&& (count($cfg['Servers']) > 1
|| ($server == 0 && count($cfg['Servers']) == 1)
)
)