I am curious if PHP provides any built-in function or variable that would return the proper directory separator for setting the "include_path" directive using ini_set(). If not, what would be the best way to determine this?
