Fix the PHP documentation