Merge remote-tracking branch 'origin/master'

2015-10-04 16:24:06 +02:00 · 2015-10-04 16:24:06 +02:00 · 775cff6d2a
commit 775cff6d2a
parent d119307237 3bdf520bcb
1 changed files with 1 additions and 1 deletions
--- a/libraries/pmd_common.php
+++ b/libraries/pmd_common.php
@ -756,5 +756,5 @@ function PMA_saveDesignerSetting($index, $value)
        }
    }

-    return $success;
+    return (bool) $success;
 }