Did you mean (for PHP-7.1):paths_separator
Your search defs:PATH_SEPARATOR did not match any files. Suggestions:
Completed in 5 milliseconds