Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This makes phan complain when someone uses functionality that is not compatible with PHP 8.3 (mostly deprecated functionality), where an alternative exists in the minimum supported PHP version (7.4). Change-Id: I01b2049beb0d6a9212861bd971888c49d0367015
- Loading branch information