Considering the usual lack-of-concern of the version of PHP the user is installing/being provided, I could see a significant amount of compatibility problems if

Considering the usual lack-of-concern of the version of PHP the user is installing/being provided, I could see a significant amount of compatibility problems if PHP came out with a version where weird functions (like strlen() vs str_replace(), how would you resolve the difference in convention here?) were fixed.