Lines Matching defs: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';
1783  * @param string $ext  extension
1789 function media_mod_image($file, $ext, $w, $h = 0, $crop = false)
1803     $cache = new CacheImageMod($file, $w, $h, $ext, $crop);
1809                  ->save($cache->cache, $ext);
1826  * @param string $ext  extension
1831 function media_resize_image($file, $ext, $w, $h = 0)
1833     return media_mod_image($file, $ext, $w, $h, false);
1842  * @param string $ext  extension
1847 function media_crop_image($file, $ext, $w, $h = 0)
1849     return media_mod_image($file, $ext, $w, $h, true);
1888  * @param string $ext   extension
1892 function media_get_from_URL($url, $ext, $cache)
1900     $local = getCacheName(strtolower($url), ".media.$ext");
1967  * @param string $ext     extension
1976 function media_resize_imageIM($ext, $from, $from_w, $from_h, $to, $to_w, $to_h)
1986     if ($ext == 'jpg' || $ext == 'jpeg') {
2001  * @param string $ext     extension
2013 function media_crop_imageIM($ext, $from, $from_w, $from_h, $to, $to_w, $to_h, $ofs_x, $ofs_y)
2024     if ($ext == 'jpg' || $ext == 'jpeg') {
2040  * @param string $ext     extension
2052 function media_resize_imageGD($ext, $from, $from_w, $from_h, $to, $to_w, $to_h, $ofs_x = 0, $ofs_y = 0)
2066     if ($ext == 'jpg' || $ext == 'jpeg') {
2069     } elseif ($ext == 'png') {
2072     } elseif ($ext == 'gif') {
2079     if (($conf['gdlib'] > 1) && function_exists("imagecreatetruecolor") && $ext != 'gif') {
2089     if ($ext == 'png' && $conf['gdlib'] > 1 && function_exists('imagesavealpha')) {
2095     if ($ext == 'gif' && function_exists('imagefill') && function_exists('imagecolorallocate')) {
2128     if ($ext == 'jpg' || $ext == 'jpeg') {
2134     } elseif ($ext == 'png') {
2140     } elseif ($ext == 'gif') {
2172     foreach ($exts as $ext) {
2173         $fileid = $filebase . '.' . $ext;