Philipp 16591077ac Fix Database $_SERVER usage and remove old .travis files		2020-08-19 14:20:07 +02:00
..
ExtendedPDO.php	…
StaticDatabase.php	…