www.mikescher.com/.idea/php.xml

<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
  <component name="PhpProjectSharedConfiguration" php_language_level="8.1" />
</project>
set php version to 7.2 (same as server) 2020-01-06 21:56:52 +01:00			`<?xml version="1.0" encoding="UTF-8"?>`
			`<project version="4">`
Code cleanup 2022-10-16 15:50:38 +02:00			`<component name="PhpProjectSharedConfiguration" php_language_level="8.1" />`
set php version to 7.2 (same as server) 2020-01-06 21:56:52 +01:00			`</project>`