php-doc-annotation-tag inherits font-lock-doc-markup-face if defined#711