# This package does contain files from the PHP group.
# Hence the use of the PHP License.
php-doc binary: copyright-refers-to-problematic-php-license
