1 files changed, 5 insertions, 0 deletions
diff --git a/mod/session.php b/mod/session.php
new file mode 100644
index 000000000..22c855edb
--- /dev/null
+++ b/mod/session.php
@@ -0,0 +1,5 @@
+<?php
+
+function session_content(&$a) {
+
+}