I just noticed some commits "fixing" '/' chars with the PHP constant
I'm just glad to inform you DIRECTORY_SEPARATOR should just die by
now, as PHP can deal _on all platforms_ with the '/' vs '\' notation
from some time.
As such, please consider converting all the DIRECTORY_SEPARATOR
instances to the more readable '/' when you work on a given piece of
Thanks in advance