php-html-common: copyright-refers-to-bad-php-license