(2022) Not that it matters much - PHP 8.1 had been out a while when the article was written.

(Vs. 8.4 was released Nov'24; 8.5 is scheduled for Nov'25.)