Home
last modified time | relevance | path

Searched refs:replace_extension (Results 1 – 5 of 5) sorted by relevance

/plugin/projects/plugins/target/
H A Dgcc.php17 $cpp = $this->replace_extension($name, ".o", ".cpp");
19 $c = $this->replace_extension($name, ".o", ".c");
29 $cpp = $this->replace_extension($file->name(), ".o", ".cpp");
34 $c = $this->replace_extension($file->name(), ".o", ".c");
46 $cpp = $this->replace_extension($file->name(), ".o", ".cpp");
49 $c = $this->replace_extension($file->name(), ".o", ".c");
H A Dpdflatex.php16 $tex = $this->replace_extension($file->name(), ".pdf", ".tex");
24 $tex = $this->replace_extension($file->name(), ".pdf", ".tex");
36 $tex = $this->replace_extension($file->name(), ".pdf", ".tex");
H A Dplot.php20 $plot = $this->replace_extension($file->name(), '.png', '.plot');
28 $plot = $this->replace_extension($file->name(), '.png', '.plot');
/plugin/projects/lib/
H A Dplugins.php33 protected function replace_extension($name, $from, $to) { function in Plugin
H A Dtools.php51 function replace_extension($name, $from, $to) { function