function getFileExtension($filename) {
	$ext = '';
	$ext_pos = strrpos($filename, '.');
	if (!($ext_pos === false)) {
		$ext = substr($filename, $ext_pos + 1);
	}
	return $ext;
}