Nah it’s on PHP 7.x those are just very old docs. I’m no longer involved with the GNU project so the site is in a weird state where the GNU docs are stuck in t

Nah it’s on PHP 7.x those are just very old docs. I’m no longer involved with the GNU project so the site is in a weird state where the GNU docs are stuck in time. I do need to do a better job of pointing people to what’s out there though. I am considering a rewrite in modern PHP.