allow phpmetrics --junit option#125

flavius wants to merge 1 commit intoEdgedesignCZ:masterEdgedesignCZ/phpqa:masterfrom

flavius:dev-phpmetrics-use-junitflavius/phpqa:dev-phpmetrics-use-junitCopy head branch name to clipboard