[Patch] Support custom PHP session name

(4 posts) (3 voices)