Check allowed file extension in setFile()
Merge branch 'devel' of git@github.com:TGM-Oldenburg/WaveDB-Server.git
into devel

Conflicts:
	src/class.dat.php