added missing php ext