php-channel-phpdoc-1.3-9.mga8.src.rpm build ok