| 123456789101112131415161718192021222324 | <?php/** * Returns the extension of the filename (path or URI) or an empty string. * @return string Extension of the filename starting with a dot. */function getExtension($filename, $isURI = false) {	// If $filename is an URI, get only the path component	if ($isURI===true) $filename = parse_url($filename, PHP_URL_PATH);	$extension = pathinfo($filename, PATHINFO_EXTENSION);	// Special cases	// https://github.com/electerious/Lychee/issues/482	list($extension) = explode(':', $extension, 2);	if (empty($extension)===false) $extension = '.' . $extension;	return $extension;}?>
 |