Changed the PHP doc