Prepend PHP tag in docs