PHP 8.3 deprecate second param to array_keys

[andrewnicols]

As noted in the RFC PHP 8.3 deprecates the second parameter to array_keys() to apply a filter.

The following uses of a second filter param to array_keys can be found in tcpdf:

The suggestion is to combine array_keys and array_filter. A new method may be added in PHP 8.4 but does not exist yet.

library/HTMLPurifier/Lexer/PH5P.php:                            $marker = end(array_keys($this->a_formatting, self::MARKER, true));
maintenance/PH5P.php:                        $marker = end(array_keys($this->a_formatting, self::MARKER, true));