Fix the phpDoc example code of the `Session` class (see #7069)