#584 - PHP deprecated warning

This commit is contained in:
Cédric Wyss
2018-11-13 16:02:37 +01:00
parent 247efb1c0a
commit 3c0416ac44

View File

@@ -27,9 +27,9 @@
function makeCorrectDir($dir) { function makeCorrectDir($dir) {
if (version_compare("5.4.6", PHP_VERSION, ">")) { if (version_compare("5.4.6", PHP_VERSION, ">")) {
assert('is_string($dir) && strlen($dir) > 0 /* $dir does not look like an actual folder name */'); assert(is_string($dir) && strlen($dir) > 0);/* $dir does not look like an actual folder name */
} else { } else {
assert('is_string($dir) && strlen($dir) > 0', 'Value "' . $dir .'" does not look like an actual folder name'); assert((is_string($dir) && strlen($dir) > 0), 'Value "' . $dir .'" does not look like an actual folder name');
} }
$dir = trim($dir); $dir = trim($dir);