cvs: phpdoc /en/reference/sockets/functions socket-get-option.xml socket-set-option.xml

mfischer Thu May 2 04:31:39 2002 EDT Modified files: /phpdoc/en/reference/sockets/functions socket-get-option.xml socket-set-option.xml Log: - Fix blind search/replace Index: phpdoc/en/reference/sockets/functions/socket-get-option.xml diff -u phpdoc/en/reference/sockets/functions/socket-get-option.xml:1.2 phpdoc/en/reference/sockets/functions/socket-get-option.xml:1.3 --- phpdoc/en/reference/sockets/functions/socket-get-option.xml:1.2 Wed May 1 13:08:05 2002 +++ phpdoc/en/reference/sockets/functions/socket-get-option.xml Thu May 2 04:31:38 2002 @@ -1,7 +1,7 @@ <?xml version="1.0" encoding="iso-8859-1"?> -<!-- $Revision: 1.2 $ --> +<!-- $Revision: 1.3 $ --> <!-- splitted from ./en/functions/sockets.xml, last change in rev 1.27 --> - <refentry id="function.socket-get_option"> + <refentry id="function.socket-get-option"> <refnamediv> <refname>socket_get_option</refname> <refpurpose>Gets socket options for the socket </refpurpose> Index: phpdoc/en/reference/sockets/functions/socket-set-option.xml diff -u phpdoc/en/reference/sockets/functions/socket-set-option.xml:1.2 phpdoc/en/reference/sockets/functions/socket-set-option.xml:1.3 --- phpdoc/en/reference/sockets/functions/socket-set-option.xml:1.2 Wed May 1 13:08:07 2002 +++ phpdoc/en/reference/sockets/functions/socket-set-option.xml Thu May 2 04:31:38 2002 @@ -1,7 +1,7 @@ <?xml version="1.0" encoding="iso-8859-1"?> -<!-- $Revision: 1.2 $ --> +<!-- $Revision: 1.3 $ --> <!-- splitted from ./en/functions/sockets.xml, last change in rev 1.27 --> - <refentry id="function.socket-set_option"> + <refentry id="function.socket-set-option"> <refnamediv> <refname>socket_set_option</refname> <refpurpose>Sets socket options for the socket</refpurpose>