Version 7.2
Version 7.2
Merge branch 'master' of https://github.com/trippo/ResponsiveFilemanager

Conflicts:
	filemanager/lang/de.php