diff options
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/detect.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/detect.php b/examples/detect.php index 0d7fc77..51edac6 100644 --- a/examples/detect.php +++ b/examples/detect.php @@ -2,7 +2,7 @@ $path_extra = dirname(dirname(__FILE__)); $path = ini_get('include_path'); -$path = $path_extra . ':' . $path; +$path = $path_extra . PATH_SEPARATOR . $path; ini_set('include_path', $path); define('IS_WINDOWS', strtoupper(substr(PHP_OS, 0, 3)) === 'WIN'); |