diff options
| author | Igor Wiedler <igor@wiedler.ch> | 2012-02-09 01:03:51 +0100 |
|---|---|---|
| committer | Igor Wiedler <igor@wiedler.ch> | 2012-02-09 01:04:54 +0100 |
| commit | fb83a5f6c07fe1d3755d868b93bb632802ab7fb7 (patch) | |
| tree | 251a76176b999609a44d60aaf1c6c01a5218046e | |
| parent | 5ccd6b0c7a2952f01b636e7319ed8ae4be8faa77 (diff) | |
| download | forums-fb83a5f6c07fe1d3755d868b93bb632802ab7fb7.tar forums-fb83a5f6c07fe1d3755d868b93bb632802ab7fb7.tar.gz forums-fb83a5f6c07fe1d3755d868b93bb632802ab7fb7.tar.bz2 forums-fb83a5f6c07fe1d3755d868b93bb632802ab7fb7.tar.xz forums-fb83a5f6c07fe1d3755d868b93bb632802ab7fb7.zip | |
[ticket/10614] Add purge command
PHPBB3-10614
| -rw-r--r-- | phpBB/develop/extensions.php | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/phpBB/develop/extensions.php b/phpBB/develop/extensions.php index 287957f52a..81bfecc45f 100644 --- a/phpBB/develop/extensions.php +++ b/phpBB/develop/extensions.php @@ -31,6 +31,9 @@ function usage() echo "\n"; echo "disable NAME:\n"; echo " Disables the specified extension.\n"; + echo "\n"; + echo "purge NAME:\n"; + echo " Purges the specified extension.\n"; exit(2); } @@ -101,6 +104,15 @@ function disable_extension($name) $phpbb_extension_manager->disable($name); } +function purge_extension($name) +{ + global $phpbb_extension_manager, $cache; + + $cache->destroy('_ext'); + + $phpbb_extension_manager->purge($name); +} + function validate_argument_count($count) { global $argv; @@ -131,6 +143,11 @@ switch ($action) disable_extension($argv[2]); break; + case 'purge': + validate_argument_count(2); + purge_extension($argv[2]); + break; + default: usage(); } |