Correct php inline docs