PHP: Code snippets

expire session