mirror of
https://github.com/php/php-src.git
synced 2024-11-25 10:54:15 +08:00
MFH: removed useless file
This commit is contained in:
parent
7a847f1086
commit
10da2d994b
@ -44,7 +44,6 @@ package.xml added to support installation using pear installer
|
||||
</notes>
|
||||
<filelist>
|
||||
<file role="doc" name="CREDITS"/>
|
||||
<file role="doc" name="sockets.php"/>
|
||||
<file role="src" name="config.m4"/>
|
||||
<file role="src" name="config.w32"/>
|
||||
<file role="src" name="php_sockets.h"/>
|
||||
|
@ -1,10 +0,0 @@
|
||||
<?
|
||||
$module = 'sockets';
|
||||
$function = 'confirm_' . $module . '_compiled';
|
||||
if (extension_loaded($module)) {
|
||||
$str = $function($module);
|
||||
} else {
|
||||
$str = "Module $module is not compiled in PHP";
|
||||
}
|
||||
echo "$str\n";
|
||||
?>
|
Loading…
Reference in New Issue
Block a user