diff options
| author | Nils Adermann <naderman@naderman.de> | 2011-11-18 18:15:39 +0100 |
|---|---|---|
| committer | Nils Adermann <naderman@naderman.de> | 2011-11-18 18:24:18 +0100 |
| commit | 5068c0588733f80a8433aea1cd6f763819caa9f7 (patch) | |
| tree | ce2c10c6473270b8c6510ee56d72e1942db9b67d /phpBB/includes/extension/interface.php | |
| parent | 21117c69f313929d23592e3e705de3e4974afaa0 (diff) | |
| download | forums-5068c0588733f80a8433aea1cd6f763819caa9f7.tar forums-5068c0588733f80a8433aea1cd6f763819caa9f7.tar.gz forums-5068c0588733f80a8433aea1cd6f763819caa9f7.tar.bz2 forums-5068c0588733f80a8433aea1cd6f763819caa9f7.tar.xz forums-5068c0588733f80a8433aea1cd6f763819caa9f7.zip | |
[feature/extension-manager] Split disabling extensions up into steps as well
PHPBB3-10323
Diffstat (limited to 'phpBB/includes/extension/interface.php')
| -rw-r--r-- | phpBB/includes/extension/interface.php | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/phpBB/includes/extension/interface.php b/phpBB/includes/extension/interface.php index 7d0ecd72c7..b37cd24d77 100644 --- a/phpBB/includes/extension/interface.php +++ b/phpBB/includes/extension/interface.php @@ -40,11 +40,14 @@ interface phpbb_extension_interface /** * Disables the extension. * - * Must be a quick operation, that finishes within max_execution_time. + * Calls to this function can be made in subsequent requests, when the + * function is invoked through a webserver with a too low max_execution_time. * + * @param mixed $old_state The return value of the previous call + * of this method, or false on the first call * @return null */ - public function disable(); + public function disable_step($old_state); /** * purge_step is executed on purging an extension until it returns false. |