Searched defs:replace_extension (Results 1 – 2 of 2) sorted by last modified time
| /plugin/projects/lib/ | ||
| H A D | plugins.php | 33 protected function replace_extension($name, $from, $to) { function in Plugin |
| H A D | tools.php | 51 function replace_extension($name, $from, $to) { function |