diff --git a/phpunit.xml.dist b/phpunit.xml.dist
index d2987f4a19..47a23799f5 100644
--- a/phpunit.xml.dist
+++ b/phpunit.xml.dist
@@ -6,12 +6,8 @@
diff --git a/src/Repro/Repro.php b/src/Repro/Repro.php
new file mode 100644
index 0000000000..d9276d35ed
--- /dev/null
+++ b/src/Repro/Repro.php
@@ -0,0 +1,21 @@
+