[TASK] Update a list of required PHP extensions in the INSTALL.txt