The ctype extension is not required but only suggested for performance
Fix merge conflicts
We are already talking about PHP, no need to mention it