xref: /PHP-7.3/tests/basic/bug71273.phpt (revision ded3d984)
1--TEST--
2Bug #71273 A wrong ext directory setup in php.ini leads to crash
3--SKIPIF--
4<?php
5	if ("cli" != php_sapi_name()) {
6		die("skip CLI only");
7	}
8?>
9--FILE--
10<?php
11	/* NOTE this file is required to be encoded in iso-8859-1 */
12
13	$cmd = getenv('TEST_PHP_EXECUTABLE') . " -n -d html_errors=on -d extension_dir=a/�/w -d extension=php_kartoffelbrei.dll -v 2>&1";
14	$out = shell_exec($cmd);
15
16	var_dump(preg_match(",.+a[\\/].+[\\/]w.php_kartoffelbrei.dll.+,s", $out));
17?>
18==DONE==
19--EXPECT--
20int(1)
21==DONE==
22