diff --git a/libraries/plugin_interface.lib.php b/libraries/plugin_interface.lib.php
index 0376e87e1a..b152375cbd 100644
--- 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
             ) {