php-PhpOption: 1.3.0 (backport)