PHP7 added some extensions during compilation and installation. After installation, are these extensions still controlled by php.ini? There is no .so file found in the php extension directory