From 70e2a2c025a9331b76d8491ad7772bf0d99e830d Mon Sep 17 00:00:00 2001
From: Max Brunsfeld <maxbrunsfeld@gmail.com>
Date: Fri, 17 Jan 2020 13:30:02 -0800
Subject: [PATCH] Add PHP parser to web playground

---
 docs/section-6-playground.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/docs/section-6-playground.html b/docs/section-6-playground.html
index 986542bc..388f96d0 100644
--- a/docs/section-6-playground.html
+++ b/docs/section-6-playground.html
@@ -21,6 +21,7 @@ permalink: playground
   <option value="html">HTML</option>
   <option value="java">Java</option>
   <option value="javascript" selected="selected">JavaScript</option>
+  <option value="php">PHP</option>
   <option value="python">Python</option>
   <option value="ruby">Ruby</option>
   <option value="rust">Rust</option>