how does one add PHP extensions when uding the official docker image? tried to use mongodb but got this error ``` None of the supported PHP extensions (mongo) are available. ``` Thanks