[PHP-DOC] session_end() / session_readonly() ???

[Jani Taskinen]

Why are these functions documented?
There are no such functions in the current session code.
Or are you planning to add them?

--Jani