Home
last modified time | relevance | path

Searched refs:has_extension (Results 1 – 9 of 9) sorted by relevance

/plugin/projects/plugins/target/
H A Dlink.php18 if (has_extension($dep, ".o")) continue;
19 if (has_extension($dep, ".a")) continue;
32 if (has_extension($name, ".a"))
H A Dpdflatex.php15 if (!has_extension($file->name(), ".pdf")) return false;
43 if (has_extension($dep, ".bib")) {
H A Dgcc.php16 if (!has_extension($name, ".o")) return false;
H A Dplot.php19 if (!has_extension($file->name(), '.png')) return false;
/plugin/projects/plugins/file/
H A Dlatex_dependency.php16 return has_extension($file->name(), ".tex");
54 if (has_extension($match, $file_extension))
H A Dplot_dependency.php16 return has_extension($file->name(), ".plot");
/plugin/projects/lib/
H A Dplugins.php49 if (!has_extension($file, '.php')) continue;
H A Dtools.php44 function has_extension($name, $ext) { function
H A Dproject.php324 !has_extension($file, '.txt')) continue;