Lines Matching defs:extension

45             'extension',
46             'name of the extension to install, prefix with \'template:\' for templates',
53             'The same as clone, but when no git source repository can be found, the extension is installed via ' .
57             'extension',
58             'name of the extension to install, prefix with \'template:\' for templates',
212      * Install extension from the given download URL
221         if (!$ext) die("extension plugin not available, can't continue");
249      * Clones the extension from the given repository
301      * Returns the repository for the given extension
303      * @param $extension
306     private function getSourceRepo($extension)
310         if (!$ext) die("extension plugin not available, can't continue");
312         $ext->setExtension($extension);