<?php readfile(string $filename, bool $use_include_path = false, ?resource $context = null): int|false
