1 files changed, 4 insertions, 0 deletions
diff --git a/t/t4018/php-interface b/t/t4018/php-interface
new file mode 100644
index 000000000000..86b49ad5d9e3
--- /dev/null
+++ b/t/t4018/php-interface
@@ -0,0 +1,4 @@
+interface RIGHT
+{
+    public function foo($ChangeMe);
+}