$ grep ^extension= /etc/php/php.ini;