Project: Reduce dependency on DOM#1113

sebastianbergmann merged 1 commit intosebastianbergmann:mainsebastianbergmann/php-code-coverage:mainfrom

staabm:red-domstaabm/php-code-coverage:red-domCopy head branch name to clipboard