php code highlighting in docs