Wrong phpdoc/autocomplete for array_key_exists

[flack]

Describe the bug

Since a couple of weeks or so, PDT gives the wrong signature for array_key _exists (haven't checked other functions, just noticed it on this one). For some reason it thinks that the first parameter is optional (which is invalid even in recent PHP versions)

Describe the eclipse environment

Eclipse 20231201-2043 PDT 8.3.0.202312021952

Describe your system

• OS: Ubuntu
• Version 23.10

To Reproduce Steps to reproduce the behavior:

1. enter array_key_
2. wait for tooltip to show up
3. press enter
4. first param missing

Expected behavior Both parameters are mandatory, it should be shown as such, and autocomplete sure write out both

Screenshots

PHPdoc:

when hitting Enter:

Additional context Add any other context about the problem here.