php-PhpOption: import from rawhide
php-PhpOption: backport