php-src/ext/session/session.stub.php
2019-11-11 14:54:55 +01:00

83 lines
2.1 KiB
PHP

<?php
function session_name(string $name = UNKNOWN): string|false {}
function session_module_name(string $module = UNKNOWN): string|false {}
function session_save_path(string $path = UNKNOWN): string|false {}
function session_id(string $id = UNKNOWN): string|false {}
function session_create_id(string $prefix = ""): string|false {}
function session_regenerate_id(bool $delete_old_session = false): bool {}
function session_decode(string $data): bool {}
function session_encode(): string|false {}
function session_destroy(): bool {}
function session_unset(): bool {}
function session_gc(): int|false {}
function session_get_cookie_params(): array {}
function session_write_close(): bool {}
function session_abort(): bool {}
function session_reset(): bool {}
function session_status(): int {}
function session_register_shutdown(): void {}
function session_commit(): bool {}
function session_set_save_handler($open, $close = null, $read = null, $write = null, $destroy = null, $gc = null, $create_sid = null, $validate_sid = null, $update_timestamp = null): bool {}
function session_cache_limiter(string $cache_limiter = UNKNOWN): string|false {}
function session_cache_expire(?int $new_cache_expire = null): int|false {}
function session_set_cookie_params($lifetime_or_options, string $path = UNKNOWN, string $domain = "", ?bool $secure = null, ?bool $httponly = null): bool {}
function session_start(array $options = []): bool {}
interface SessionHandlerInterface
{
/** @return bool */
function open(string $save_path, string $session_name);
/** @return bool */
function close();
/** @return string */
function read(string $key);
/** @return bool */
function write(string $key, string $val);
/** @return bool */
function destroy(string $key);
/** @return int|bool */
function gc(int $maxlifetime);
}
interface SessionIdInterface
{
/** @return string */
function create_sid();
}
interface SessionUpdateTimestampHandlerInterface
{
/** @return bool */
function validateId(string $key);
/** @return bool */
function updateTimestamp(string $key, string $val);
}