File tree Expand file tree Collapse file tree 1 file changed +17
-0
lines changed
Expand file tree Collapse file tree 1 file changed +17
-0
lines changed Original file line number Diff line number Diff line change @@ -12,6 +12,21 @@ server
1212
1313$ interfaceFile = __DIR__ .'/optional_interfaces_interface.inc ' ;
1414
15+ file_put_contents (__DIR__ .'/optional_interfaces_script.php ' , <<<SCRIPT
16+ <?php
17+
18+ @(include __DIR__.'/optional_interfaces_interface.inc');
19+
20+ if (interface_exists('OpcachedInterface'))
21+ echo "OpcachedInterface is defined \n";
22+ else
23+ echo "OpcachedInterface is not defined \n";
24+
25+ include __DIR__.'/optional_interfaces_class.inc';
26+
27+ echo "OpcachedClass implements:".implode(', ', class_implements('OpcachedClass'))." \n\n";
28+ SCRIPT );
29+
1530include __DIR__ .'/php_cli_server.inc ' ;
1631php_cli_server_start ('-d opcache.enable=1 -d opcache.enable_cli=1 ' );
1732
@@ -27,6 +42,8 @@ unlink($interfaceFile);
2742
2843echo file_get_contents ($ uri );
2944
45+ unlink (__DIR__ .'/optional_interfaces_script.php ' );
46+
3047?>
3148--EXPECT--
3249OpcachedInterface is not defined
You can’t perform that action at this time.
0 commit comments