<?php

session_abort();
session_cache_expire();
session_cache_limiter();
session_commit();
session_create_id();
session_decode();
session_destroy();
session_encode();
session_gc();
session_get_cookie_params();
session_id();
session_is_registered();
session_module_name();
session_name();
session_regenerate_id();
session_register_shutdown();
session_register();
session_reset();
session_save_path();
session_set_cookie_params();
session_set_save_handler();
session_start();
session_status();
session_unregister();
session_unset();
session_write_close();
