php-src/ext/dba/dba.stub.php

<?php

/** @return resource|false */
function dba_popen($path, $mode, $handlername = UNKNOWN, ...$handler_parameters) {}

/** @return resource|false */
function dba_open($path, $mode, $handlername = UNKNOWN, ...$handler_parameters) {}

/** @param resource $handle */
function dba_close($handle): void {}

/**
 * @param string|array $key
 * @param resource $handle
 */
function dba_exists($key, $handle): bool {}

/**
 * @param string|array $key
 * @param int|resource $skip actually this parameter is optional, not $handle
 * @param resource $handle
 */
function dba_fetch($key, $skip, $handle = UNKOWN): string|false {}

function dba_key_split(string $key): array|false {}

/** @param resource $handle */
function dba_firstkey($handle): string|false {}

/** @param resource $handle */
function dba_nextkey($handle): string|false {}

/**
 * @param string|array $key
 * @param resource $handle
 */
function dba_delete($key, $handle): bool {}

/**
 * @param string|array $key
 * @param resource $handle
 */
function dba_insert($key, string $value, $handle): bool {}

/**
 * @param string|array $key
 * @param resource $handle
 */
function dba_replace($key, string $value, $handle): bool {}

/** @param resource $handle */
function dba_optimize($handle): bool {}

/** @param resource $handle */
function dba_sync($handle): bool {}

function dba_handlers(bool $full_info = false): array {}

function dba_list(): array {}