diff options
author | Marc Delisle <marc@infomarc.info> | 2011-05-09 20:49:05 +0400 |
---|---|---|
committer | Marc Delisle <marc@infomarc.info> | 2011-05-09 20:49:05 +0400 |
commit | 13b31956aed38141836faf386d97c042a3087f48 (patch) | |
tree | e1cecbcf715c1dbe18cffab0eebd4dfe7257245a /prefs_forms.php | |
parent | 555c04b4a1bb91780aa21bff2b420eb6171a995d (diff) |
For easier reading, replace "!isset" with "! isset"
Diffstat (limited to 'prefs_forms.php')
-rw-r--r-- | prefs_forms.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/prefs_forms.php b/prefs_forms.php index 22ffb4cf5b..4aaea9c2bc 100644 --- a/prefs_forms.php +++ b/prefs_forms.php @@ -23,7 +23,7 @@ PMA_userprefs_pageinit(); // handle form processing $form_param = filter_input(INPUT_GET, 'form'); -if (!isset($forms[$form_param])) { +if (! isset($forms[$form_param])) { $forms_keys = array_keys($forms); $form_param = array_shift($forms_keys); } |