diff options
author | Jani Taskinen <jani@php.net> | 2007-07-24 11:15:59 +0000 |
---|---|---|
committer | Jani Taskinen <jani@php.net> | 2007-07-24 11:15:59 +0000 |
commit | 10da2d994b45e774085cc9aa608de2b9e65dff44 (patch) | |
tree | 358d5f5596b9c7080a6d6b8d590f1af30bdb1a72 /ext | |
parent | 7a847f1086ef33263627b77bdc68749138beef5e (diff) | |
download | php-git-10da2d994b45e774085cc9aa608de2b9e65dff44.tar.gz |
MFH: removed useless file
Diffstat (limited to 'ext')
-rw-r--r-- | ext/sockets/package.xml | 1 | ||||
-rw-r--r-- | ext/sockets/sockets.php | 10 |
2 files changed, 0 insertions, 11 deletions
diff --git a/ext/sockets/package.xml b/ext/sockets/package.xml index a25ea1fffc..2799fff13d 100644 --- 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"/> diff --git a/ext/sockets/sockets.php b/ext/sockets/sockets.php deleted file mode 100644 index 3bb624cd57..0000000000 --- a/ext/sockets/sockets.php +++ /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"; -?> |