diff --git a/mod.php b/mod.php index 5e3846d7..f13af0ef 100644 --- a/mod.php +++ b/mod.php @@ -272,6 +272,20 @@ if($mod['type'] != ADMIN) error($config['error']['noaccess']); + if(is_dir('.git')) { + // use git instead + + $body = '

git pull

'; + $body .= '

' . str_replace("\n", '
', shell_exec('git pull')) . '

'; + $body .= '
'; + echo Element('page.html', Array( + 'config' => $config, + 'title' => 'Upgraded', + 'body' => $body + )); + exit; + } + if(!extension_loaded('curl')) error('You need the cURL PHP extension to do that.');