Searched defs:file_extension (Results 1 – 2 of 2) sorted by relevance
49 function find_command($command, $content, $file_extension = ".tex") {
19 file_extension: "png", property in supa_handler