From 8f651bca03826a7dd741f238a16b4a39356e407b Mon Sep 17 00:00:00 2001
From: Arfon Smith <arfon@github.com>
Date: Sat, 4 Jul 2015 06:01:06 +0100
Subject: [PATCH] Adding PHP sample file for completeness

---
 samples/PHP/root.php | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 samples/PHP/root.php

diff --git a/samples/PHP/root.php b/samples/PHP/root.php
new file mode 100644
index 00000000..8f8be563
--- /dev/null
+++ b/samples/PHP/root.php
@@ -0,0 +1,6 @@
+<?php
+  ////////////////////////////////////
+  // I am not Isabelle ROOT         //
+  ////////////////////////////////////
+
+?>