Installation of PIE and third-party extensions
Pie is an installer for PHP, that makes it possible to install third-party PHP extensions, that can then be easily installed and updated. It leverages the PHP extension repository part of Packagist to find the source code to build the extension, or a Windows binary to download, if it exists. If it downloads the source code, it also knows how to build and install it.
Introduction to PIE
Pie is an installer for PHP, that makes it possible to install third-party PHP extensions, that can then be easily installed and updated. It leverages the PHP extension repository part of Packagist to find the source code to build the extension, or a Windows binary to download, if it exists. If it downloads the source code, it also knows how to build and install it.
After installing the requirements and PIE itself, you can then install the MongoDB extension by running the following on the command line.
Installing the MongoDB extension with PIE
pie install mongodb/mongodb-extensionThe "PIE Usage" documentation goes into this in more depth.