Fix #15986 - fatal error: Uncaught TypeError: array_flip() expects parameter 1 to be array, null given

Signed-off-by: William Desportes <williamdes@wdes.fr>
This commit is contained in:
William Desportes 2020-02-23 13:30:22 +01:00
parent a8f3df295a
commit 379dd368c9
No known key found for this signature in database
GPG Key ID: 90A0EF1B8251A889

View File

@ -817,7 +817,7 @@ class FormDisplay
$userPrefsDisallow = $GLOBALS['PMA_Config']->get('is_setup')
? $this->_configFile->get('UserprefsDisallow', [])
: $GLOBALS['cfg']['UserprefsDisallow'];
$this->_userprefsDisallow = array_flip($userPrefsDisallow);
$this->_userprefsDisallow = array_flip($userPrefsDisallow ?? []);
}
/**