Lines Matching refs:ext

315     [$ext, $mime] = mimetype($id);
329 ['name' => $path, 'mime' => $mime, 'ext' => $ext],
385 'ext' => $iext
446 if (!isset($file['mime']) || !isset($file['ext'])) {
447 [$ext, $mime] = mimetype($id);
451 if (!isset($file['ext'])) {
452 $file['ext'] = $ext;
484 return [sprintf($lang['uploadbadcontent'], '.' . $file['ext']), -1];
1483 [$ext] = mimetype(mediaFN($filename), false);
1485 if (file_exists(DOKU_INC . 'lib/images/fileicons/' . $size . '/' . $ext . '.png')) {
1486 $icon = DOKU_BASE . 'lib/images/fileicons/' . $size . '/' . $ext . '.png';
1775 * @param string $ext extension
1781 function media_mod_image($file, $ext, $w, $h = 0, $crop = false)
1795 $cache = new CacheImageMod($file, $w, $h, $ext, $crop);
1801 ->save($cache->cache, $ext);
1818 * @param string $ext extension
1823 function media_resize_image($file, $ext, $w, $h = 0)
1825 return media_mod_image($file, $ext, $w, $h, false);
1834 * @param string $ext extension
1839 function media_crop_image($file, $ext, $w, $h = 0)
1841 return media_mod_image($file, $ext, $w, $h, true);
1880 * @param string $ext extension
1884 function media_get_from_URL($url, $ext, $cache)
1892 $local = getCacheName(strtolower($url), ".media.$ext");
1959 * @param string $ext extension
1968 function media_resize_imageIM($ext, $from, $from_w, $from_h, $to, $to_w, $to_h)
1978 if ($ext == 'jpg' || $ext == 'jpeg') {
1993 * @param string $ext extension
2005 function media_crop_imageIM($ext, $from, $from_w, $from_h, $to, $to_w, $to_h, $ofs_x, $ofs_y)
2016 if ($ext == 'jpg' || $ext == 'jpeg') {
2032 * @param string $ext extension
2044 function media_resize_imageGD($ext, $from, $from_w, $from_h, $to, $to_w, $to_h, $ofs_x = 0, $ofs_y = 0)
2058 if ($ext == 'jpg' || $ext == 'jpeg') {
2061 } elseif ($ext == 'png') {
2064 } elseif ($ext == 'gif') {
2071 if (($conf['gdlib'] > 1) && function_exists("imagecreatetruecolor") && $ext != 'gif') {
2081 if ($ext == 'png' && $conf['gdlib'] > 1 && function_exists('imagesavealpha')) {
2087 if ($ext == 'gif' && function_exists('imagefill') && function_exists('imagecolorallocate')) {
2120 if ($ext == 'jpg' || $ext == 'jpeg') {
2126 } elseif ($ext == 'png') {
2132 } elseif ($ext == 'gif') {
2164 foreach ($exts as $ext) {
2165 $fileid = $filebase . '.' . $ext;