Revert "Update htdocs/sources/session.php"
damn Github's editor

This reverts commit b01ee74cb9c2dc39dc8de67c14aad45d779bbcfb.