Since MediaWiki no longer supports PHP 8.1 (see T358666), we can remove the phan stub. Other libraries moved to PHP 8.2 should be checked for a similar stub as well, and cleaned up as needed.
https://codesearch.wmcloud.org/search/?q=AllowDynamicProperties&files=stubs