Fix phpspec/prophecy-phpunit compatibility

Tests/bootstrap.php

@@ -19,6 +19,7 @@
 }
 
 require $file;
+require_once __DIR__ . '/prophecy_php_7_2.php';
 
 // Load cached env vars if the .env.local.php file exists
 // Run "composer dump-env prod" to create it (requires symfony/flex >=1.2)

Tests/prophecy_php_7_2.php

@@ -0,0 +1,18 @@
+<?php
+
+/*
+ * This file is part of Sulu.
+ *
+ * (c) Sulu GmbH
+ *
+ * This source file is subject to the MIT license that is bundled
+ * with this source code in the file LICENSE.
+ */
+
+namespace Prophecy\PhpUnit;  // BC bridge for PHP 7.2 where we can not install phpspec/prophecy-phpunit package
+
+if (!\trait_exists(ProphecyTrait::class)) {
+    trait ProphecyTrait
+    {
+    }
+}