| 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;
 
- }
 
- ?>
 
 
  |