From 6d830f1c8584e56f1ce956bcdaf134f5985bef7b Mon Sep 17 00:00:00 2001
From: Bernhard Posselt <dev@bernhard-posselt.com>
Date: Tue, 14 Oct 2014 13:45:05 +0200
Subject: [PATCH] fix session description

---
 developer_manual/app/users.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/developer_manual/app/users.rst b/developer_manual/app/users.rst
index 05a88542d..3c311c005 100644
--- a/developer_manual/app/users.rst
+++ b/developer_manual/app/users.rst
@@ -174,7 +174,7 @@ Then users can be logged in by using:
 
 Session Information
 ===================
-To login, logout or getting the currently logged in user, the Session has to be injected from the ServerContainer:
+To set, get or modify session variables, the Session has to be injected from the ServerContainer:
 
 .. code-block:: php