typo fix php.adoc