<?php file_get_contents( string $filename, bool $use_include_path = false, ?resource $context = null, int $offset = 0, ?int $length = null): string|false
<?php protected function regexp(): string { return '/(?:'.json_decode(file_get_contents(dirname(__FILE__).'/regexp.json')).')/u'; } }