diff --git a/install/pie.xml b/install/pie.xml new file mode 100644 index 000000000000..445c35380383 --- /dev/null +++ b/install/pie.xml @@ -0,0 +1,37 @@ + + + + + Installation of PIE and third-party extensions + + + Introduction to PIE + + &link.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 + + + + + + The "PIE + Usage" documentation goes into this in more depth. + + + +