diff options
Diffstat (limited to 'lib/plugins/extension/helper/extension.php')
-rw-r--r-- | lib/plugins/extension/helper/extension.php | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/lib/plugins/extension/helper/extension.php b/lib/plugins/extension/helper/extension.php index 9cf4848ad..d200d5ab0 100644 --- a/lib/plugins/extension/helper/extension.php +++ b/lib/plugins/extension/helper/extension.php @@ -87,6 +87,16 @@ class helper_plugin_extension_extension extends DokuWiki_Plugin { } /** + * If the extension is under git control + * + * @return bool + */ + public function isGitControlled() { + if(!$this->isInstalled()) return false; + return is_dir($this->getInstallDir().'/.git'); + } + + /** * If the extension is bundled * * @return bool If the extension is bundled |