Merge branch '9.6' into 10.5

Author: sebastianbergmann

build.xml

@@ -318,7 +318,6 @@
             <arg value="--config" />
             <arg path="${basedir}/build/config/php-scoper.php" />
             <arg value="--no-interaction" />
-            <arg value="--stop-on-failure" />
             <arg value="--output-dir" />
             <arg path="${basedir}/build/tmp/phar-scoped" />
             <arg value="--prefix" />