Change Details

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.

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

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