Context Navigation

Changes between Initial Version and Version 1 of Ticket #46149, comment 23

initial	v1
11	11
12	12	Similarly, after the version bump patch has been committed, follow-up tickets should be opened for the following additional points:
13		* Removing the random_compat library. This library is no longer needed when the minimum PHP requirement is PHP 7.1. (Similar to #46799 for the PHP < 5.6 drop)
	13	* Removing the random_compat library. This library is no longer needed when the minimum PHP requirement is PHP 7.1. (Similar to #47699 for the PHP < 5.6 drop)
14	14	* Go through the `compat.php` file to see if there are other PHP polyfills which can be removed. (Similar to #47698 for the PHP < 5.6 drop)
15	15	* Go through the code base to review any code using `version_compare()`, `function_exists()`, `defined()`, `extension_loaded()` et al to verify whether these kind of toggles are still needed and remove them whenever possible. (Similar to #48074 for the PHP < 5.6 drop)