diff options
Diffstat (limited to 'bin/gittool.php')
-rwxr-xr-x | bin/gittool.php | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/bin/gittool.php b/bin/gittool.php index cb4ef3484..fca76768d 100755 --- a/bin/gittool.php +++ b/bin/gittool.php @@ -1,13 +1,9 @@ #!/usr/bin/php <?php - -if('cli' != php_sapi_name()) die(); -ini_set('memory_limit', '128M'); if(!defined('DOKU_INC')) define('DOKU_INC', realpath(dirname(__FILE__) . '/../') . '/'); define('NOSESSION', 1); require_once(DOKU_INC . 'inc/init.php'); - /** * Easily manage DokuWiki git repositories * @@ -333,6 +329,6 @@ class GitToolCLI extends DokuCLI { } } - -$GitToolCLI = new GitToolCLI(); -$GitToolCLI->run();
\ No newline at end of file +// Main +$cli = new GitToolCLI(); +$cli->run();
\ No newline at end of file |