From c12b217b379eadc54e4d417bd56338731a636034 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mike=20Schw=C3=B6rer?= <pubgit@mikescher.com>
Date: Mon, 6 Jan 2020 21:56:52 +0100
Subject: [PATCH] set php version to 7.2 (same as server)

---
 .idea/php.xml | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 .idea/php.xml

diff --git a/.idea/php.xml b/.idea/php.xml
new file mode 100644
index 0000000..30b4799
--- /dev/null
+++ b/.idea/php.xml
@@ -0,0 +1,4 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="PhpProjectSharedConfiguration" php_language_level="7.2" />
+</project>
\ No newline at end of file