diff options
Diffstat (limited to 'ext/session/tests/skipif.inc')
| -rw-r--r-- | ext/session/tests/skipif.inc | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/ext/session/tests/skipif.inc b/ext/session/tests/skipif.inc deleted file mode 100644 index 8336e75bd0..0000000000 --- a/ext/session/tests/skipif.inc +++ /dev/null @@ -1,10 +0,0 @@ -<?php -// This script prints "skip" if condition does not meet. -if (!extension_loaded("session") && ini_get("enable_dl")) { - $dlext = (substr(PHP_OS, 0, 3) == "WIN") ? ".dll" : ".so"; - @dl("session$dlext"); -} -if (!extension_loaded("session")) { - die("skip\n"); -} -?> |