PHP 5.4: session_register()/session_unregister() are deprecated