]> granicus.if.org Git - php/commitdiff
MFH: removed useless file
authorJani Taskinen <jani@php.net>
Tue, 24 Jul 2007 11:15:59 +0000 (11:15 +0000)
committerJani Taskinen <jani@php.net>
Tue, 24 Jul 2007 11:15:59 +0000 (11:15 +0000)
ext/sockets/package.xml
ext/sockets/sockets.php [deleted file]

index a25ea1fffcffc28a94872d57d5ff3207bc00f2ff..2799fff13dfc03940cd653f2ad79ccb2d2e18c2b 100644 (file)
@@ -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"/>
diff --git a/ext/sockets/sockets.php b/ext/sockets/sockets.php
deleted file mode 100644 (file)
index 3bb624c..0000000
+++ /dev/null
@@ -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";
-?>