From 115e435ec9a478436fa8076ff9ff6529296c7909 Mon Sep 17 00:00:00 2001
From: Simon Rettberg
Date: Wed, 28 Mar 2018 10:45:13 +0200
Subject: Remove .idea/php.xml file

---
 .idea/php.xml | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 .idea/php.xml

diff --git a/.idea/php.xml b/.idea/php.xml
deleted file mode 100644
index cd67c36e..00000000
--- a/.idea/php.xml
+++ /dev/null
@@ -1,4 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<project version="4">
-  <component name="PhpProjectSharedConfiguration" php_language_level="5.4.0" />
-</project>
\ No newline at end of file
-- 
cgit v1.2.3-55-g7522