Fix check for null

Signed-off-by: Michal Čihař <michal@cihar.com>
2017-07-31 16:42:02 +02:00 · 2017-07-31 16:42:02 +02:00 · f96886a445
commit f96886a445
parent e85fc1cdff
1 changed files with 1 additions and 1 deletions
--- a/libraries/plugin_interface.lib.php
+++ b/libraries/plugin_interface.lib.php
@ -548,7 +548,7 @@ function PMA_pluginGetOptions($section, &$list)
        $ret .= '<h3>' . PMA_getString($text) . '</h3>';

        $no_options = true;
-        if ($options != null && count($options) > 0) {
+        if (! is_null($options) && count($options) > 0) {
            foreach ($options->getProperties()
                as $propertyMainGroup
            ) {