Copyright for pkg-php-tools source package in Saucy