--- /dev/null
+<?php
+/*
+ * This file is part of PHPUnit.
+ *
+ * (c) Sebastian Bergmann <sebastian@phpunit.de>
+ *
+ * For the full copyright and license information, please view the LICENSE
+ * file that was distributed with this source code.
+ */
+
+/**
+ * Marker interface for PHPUnit exceptions.
+ *
+ * @since Interface available since Release 4.0.0
+ */
+interface PHPUnit_Exception
+{
+}