diff options
Diffstat (limited to 'lib/public/isession.php')
| -rw-r--r-- | lib/public/isession.php | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/public/isession.php b/lib/public/isession.php index 20da712cda3..dc5719625cc 100644 --- a/lib/public/isession.php +++ b/lib/public/isession.php @@ -75,4 +75,9 @@ interface ISession { */ public function clear(); + /** + * Close the session and release the lock + */ + public function close(); + } |