<?php

function set_detect_incorrect_encoding_names_warning(bool $show) ::: void;

/** @kphp-extern-func-info generate-stub */
function kphp_turn_on_host_tag_in_inner_statshouse_metrics_toggle() ::: void;

/** @kphp-extern-func-info generate-stub */
function set_json_log_on_timeout_mode(bool $enabled) ::: void;

/** @kphp-extern-func-info generate-stub */
function set_json_log_demangle_stacktrace(bool $enable) ::: void;

/** @kphp-extern-func-info */
function set_migration_php8_warning ($mask ::: int) ::: void;

/** @kphp-extern-func-info generate-stub */
function set_use_updated_gmmktime(bool $enable) ::: void;

