Use PHP syntax highlighting in doc [ci skip]