Description:
------------
Error on manual

"stripos" should be "strpos"

stripos generates the error:

Fatal error: Call to undefined function: stripos() 

This documentation error was reported back in 2003, but not corrected in the French manual. The link address is:

http://fr.php.net/manual/fr/function.stripos.php

Reproduce code:
---------------
<?php
$findme    = 'a';
$mystring1 = 'xyz';
$mystring2 = 'ABC';

$pos1 = stripos($mystring1, $findme);
$pos2 = stripos($mystring2, $findme);


Expected result:
----------------
0

=>Proper documentation

Actual result:
--------------
Fatal error: Call to undefined function: stripos()