Daniel Siepmann 6e47f165e9 Add PHP 7.2 compatibility ... Also ensure code works in all compatibilities via GitHub Actions. Also add further checks like XML compatibility, CGL, etc.		2020-09-22 13:27:52 +02:00
..
Preview.php	Add PHP 7.2 compatibility	2020-09-22 13:27:52 +02:00