Highlight nested PHP comments#180

javiereguiluz merged 2 commits intosymfony-tools:mainsymfony-tools/docs-builder:mainfrom

javiereguiluz:php_commentjaviereguiluz/docs-builder:php_commentCopy head branch name to clipboard