Doc #70936 [NEW]: This function don't exist in official docs php

From: marcosptf at yahoo dot com dot br Operating system: irrelevant PHP version: Irrelevant Package: Documentation problem Bug Type: Documentation Problem Bug description:This function don't exist in official docs php Description: ------------ i had wrote test to two functions where i just know there exist about gcov uncovered functions and about c code source. socket_getopt(); is alias of socket_get_option(); socket_setopt(); is alias of socket_set_option(); http://php.net/manual/en/function.socket-get-option.php http://php.net/manual/en/function.socket-set-option.php https://github.com/php/php-src/blob/655e266440bc65d2b3b6c69b433fc9b6e70aa4da/ext/sockets/sockets.c#L347 https://github.com/php/php-src/blob/655e266440bc65d2b3b6c69b433fc9b6e70aa4da/ext/sockets/sockets.c#L348 -- Edit bug report at https://bugs.php.net/bug.php?id=70936&edit=1 -- Try a snapshot (PHP 5.4): https://bugs.php.net/fix.php?id=70936&r=trysnapshot54 Try a snapshot (PHP 5.5): https://bugs.php.net/fix.php?id=70936&r=trysnapshot55 Try a snapshot (trunk): https://bugs.php.net/fix.php?id=70936&r=trysnapshottrunk Fixed in SVN: https://bugs.php.net/fix.php?id=70936&r=fixed Fixed in release: https://bugs.php.net/fix.php?id=70936&r=alreadyfixed Need backtrace: https://bugs.php.net/fix.php?id=70936&r=needtrace Need Reproduce Script: https://bugs.php.net/fix.php?id=70936&r=needscript Try newer version: https://bugs.php.net/fix.php?id=70936&r=oldversion Not developer issue: https://bugs.php.net/fix.php?id=70936&r=support Expected behavior: https://bugs.php.net/fix.php?id=70936&r=notwrong Not enough info: https://bugs.php.net/fix.php?id=70936&r=notenoughinfo Submitted twice: https://bugs.php.net/fix.php?id=70936&r=submittedtwice register_globals: https://bugs.php.net/fix.php?id=70936&r=globals PHP 4 support discontinued: https://bugs.php.net/fix.php?id=70936&r=php4 Daylight Savings: https://bugs.php.net/fix.php?id=70936&r=dst IIS Stability: https://bugs.php.net/fix.php?id=70936&r=isapi Install GNU Sed: https://bugs.php.net/fix.php?id=70936&r=gnused Floating point limitations: https://bugs.php.net/fix.php?id=70936&r=float No Zend Extensions: https://bugs.php.net/fix.php?id=70936&r=nozend MySQL Configuration Error: https://bugs.php.net/fix.php?id=70936&r=mysqlcfg