File phpMyAdmin-4.4.15.10-php-array.patch of Package phpMyAdmin

Compatibility patch for phpMyAdmin 4.4.x; "Warning in ./libraries/plugin_interface.lib.php#533
count(): Parameter must be an array or an object that implements Countable" is raised with PHP 7.

--- phpMyAdmin-4.4.15.10/libraries/plugin_interface.lib.php	2017-01-23 20:08:47.000000000 +0100
+++ phpMyAdmin-4.4.15.10/libraries/plugin_interface.lib.php	2018-05-16 13:37:36.000000000 +0200
@@ -529,7 +529,7 @@
         $ret .= '<h3>' . PMA_getString($text) . '</h3>';
 
         $no_options = true;
-        if ($options != null && count($options) > 0) {
+        if ($options != null && count((array)$options) > 0) {
             foreach ($options->getProperties()
                 as $propertyMainGroup
             ) {