Add docker to the downloads page.

Author: shivammathur

downloads.php

@@ -68,13 +68,15 @@ function option(string $value, string $desc, $attributes = []): string
             'linux-fedora' => 'Fedora',
             'linux-redhat' => 'RedHat',
             'linux-ubuntu' => 'Ubuntu',
+            'linux-docker' => 'Docker',
         ],
     ],
     'osx' => [
         'name' => 'macOS',
         'variants' => [
             'osx-homebrew' => 'Homebrew/Brew',
             'osx-homebrew-php' => 'Homebrew/Homebrew-PHP',
+            'osx-docker' => 'Docker',
             'osx-macports' => 'MacPorts',
         ],
     ],
@@ -85,6 +87,7 @@ function option(string $value, string $desc, $attributes = []): string
             'windows-native' => 'Windows Native Build',
             'windows-chocolatey' => 'Windows with Chocolatey',
             'windows-scoop' => 'Windows with Scoop',
+            'windows-docker' => 'Windows with Docker',
             'windows-wsl-debian' => 'Windows with WSL/Debian',
             'windows-wsl-ubuntu' => 'Windows with WSL/Ubuntu',
         ],

include/download-instructions/linux-docker-cli-community.php

@@ -0,0 +1,10 @@
+<p>
+On the command line, run the following commands:
+</p>
+<pre><code class="language-bash line-numbers">
+# Pull the PHP Docker image.
+docker pull php:<?= $version; ?>-cli
+
+# Launch a container with PHP.
+docker run --rm -it --entrypoint bash php:<?= $version; ?>-cli
+</code></pre>

include/download-instructions/linux-docker-cli-default.php

@@ -0,0 +1,10 @@
+<p>
+On the command line, run the following commands:
+</p>
+<pre><code class="language-bash line-numbers">
+# Pull the PHP Docker image.
+docker pull php-cli
+
+# Launch a container with PHP.
+docker run --rm -it --entrypoint bash php-cli
+</code></pre>

include/download-instructions/linux-docker-web-community.php

@@ -0,0 +1 @@
+linux-docker-cli-community.php

include/download-instructions/linux-docker-web-default.php

@@ -0,0 +1 @@
+linux-docker-cli-default.php

include/download-instructions/osx-docker.php

@@ -0,0 +1,10 @@
+<p>
+On the command line, run the following commands:
+</p>
+<pre><code class="language-bash line-numbers">
+# Pull the PHP Docker image.
+docker pull php:<?= $version; ?>-cli
+
+# Launch a container with PHP.
+docker run --rm -it --entrypoint bash php:<?= $version; ?>-cli
+</code></pre>

include/download-instructions/windows-docker.php

@@ -0,0 +1,10 @@
+<p>
+On the command line, run the following commands:
+</p>
+<pre><code class="language-bash line-numbers">
+# Pull the PHP Docker image.
+docker pull php:<?= $version; ?>-cli
+
+# Launch a container with PHP.
+docker run --rm -it --entrypoint bash php:<?= $version; ?>-cli
+</code></pre>