- Removed useless file

19 years ago · 5dceae6f8f
2 changed files with 0 additions and 11 deletions
--- a/ext/sockets/package.xml
+++ b/ext/sockets/package.xml
@ -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"/>
--- a/ext/sockets/sockets.php
+++ b/ext/sockets/sockets.php
@ -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";
-?>