added php syntax highlighting

editor.html

@@ -65,6 +65,7 @@
           <option value="html">HTML Document</option>
           <option value="css">CSS Document</option>
           <option value="python">Python Document</option>
+          <option value="php">PHP Document</option>
         </select>
       </td>
       <td>
@@ -76,6 +77,7 @@
           <option value="html">HTML</option>
           <option value="css">CSS</option>
           <option value="python">Python</option>
+          <option value="php">PHP</option>
         </select>
       </td>
       <td>
@@ -151,9 +153,15 @@ for i in sys.argv[1:]:
         print repr(i), "not a numeric value"
     else:
         celsius=(fahrenheit-32)*5.0/9.0
-	    print '%i\260F = %i\260C' % (int(fahrenheit), int(celsius+.5))
+        print '%i\260F = %i\260C' % (int(fahrenheit), int(celsius+.5))
 </script>
 
+    <script type="text/editor" id="phptext"><?php
+
+phpinfo();
+
+?></script>
+
     <input id="cockpit" type="text"/>