From f96886a445a51c627c49d77d11bd8da00bfb5115 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= <michal@cihar.com>
Date: Mon, 31 Jul 2017 16:42:02 +0200
Subject: [PATCH] Fix check for null
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Michal Čihař <michal@cihar.com>
---
 libraries/plugin_interface.lib.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
             ) {