318     [$ext, $mime] = mimetype($id);
332         ['name' => $path, 'mime' => $mime, 'ext'  => $ext],
450         [$ext, $mime] = mimetype($id);
455             $file['ext'] = $ext;
1421     [$ext] = mimetype(mediaFN($filename), false);
1423     if (file_exists(DOKU_INC . 'lib/images/fileicons/' . $size . '/' . $ext . '.png')) {
1424         $icon = DOKU_BASE . 'lib/images/fileicons/' . $size . '/' . $ext . '.png';
1721  * @param string $ext  extension
1727 function media_mod_image($file, $ext, $w, $h = 0, $crop = false)  argument
1741     $cache = new CacheImageMod($file, $w, $h, $ext, $crop);
1747                  ->save($cache->cache, $ext);
1764  * @param string $ext  extension
1769 function media_resize_image($file, $ext, $w, $h = 0)  argument
1771     return media_mod_image($file, $ext, $w, $h, false);
1780  * @param string $ext  extension
1785 function media_crop_image($file, $ext, $w, $h = 0)  argument
1787     return media_mod_image($file, $ext, $w, $h, true);
1826  * @param string $ext   extension
1830 function media_get_from_URL($url, $ext, $cache)  argument
1838     $local = getCacheName(strtolower($url), ".media.$ext");
1905  * @param string $ext     extension
1914 function media_resize_imageIM($ext, $from, $from_w, $from_h, $to, $to_w, $to_h)  argument
1924     if ($ext == 'jpg' || $ext == 'jpeg') {
1939  * @param string $ext     extension
1951 function media_crop_imageIM($ext, $from, $from_w, $from_h, $to, $to_w, $to_h, $ofs_x, $ofs_y)  argument
1962     if ($ext == 'jpg' || $ext == 'jpeg') {
1978  * @param string $ext     extension
1990 function media_resize_imageGD($ext, $from, $from_w, $from_h, $to, $to_w, $to_h, $ofs_x = 0, $ofs_y …  argument
2004     if ($ext == 'jpg' || $ext == 'jpeg') {
2007     } elseif ($ext == 'png') {
2010     } elseif ($ext == 'gif') {
2017     if (($conf['gdlib'] > 1) && function_exists("imagecreatetruecolor") && $ext != 'gif') {
2027     if ($ext == 'png' && $conf['gdlib'] > 1 && function_exists('imagesavealpha')) {
2033     if ($ext == 'gif' && function_exists('imagefill') && function_exists('imagecolorallocate')) {
2066     if ($ext == 'jpg' || $ext == 'jpeg') {
2072     } elseif ($ext == 'png') {
2078     } elseif ($ext == 'gif') {
2110     foreach ($exts as $ext) {
2111         $fileid = $filebase . '.' . $ext;