php54-php: allow multiple paths in ini_scan_dir