| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677 | 
							- <?php 
 
- /* Copyright (c)
 
-  * - 2013-2014, Geert Bergman (geert@scrivo.nl), highlight.php
 
-  * - 2014,      Daniel Lynge, highlight.php (contributor)
 
-  * All rights reserved.
 
-  *
 
-  * Redistribution and use in source and binary forms, with or without
 
-  * modification, are permitted provided that the following conditions are met:
 
-  *
 
-  * 1. Redistributions of source code must retain the above copyright notice,
 
-  *    this list of conditions and the following disclaimer.
 
-  * 2. Redistributions in binary form must reproduce the above copyright notice,
 
-  *    this list of conditions and the following disclaimer in the documentation
 
-  *    and/or other materials provided with the distribution.
 
-  * 3. Neither the name of "highlight.js", "highlight.php", nor the names of its
 
-  *    contributors may be used to endorse or promote products derived from this
 
-  *    software without specific prior written permission.
 
-  *
 
-  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
 
-  * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 
-  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 
-  * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE
 
-  * LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
 
-  * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
 
-  * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
 
-  * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
 
-  * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
 
-  * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
 
-  * POSSIBILITY OF SUCH DAMAGE.
 
-  */
 
- /**
 
-  * Extract language definitions (JSON strings) from the large file that was
 
-  * created using 'get_language_definitions.php' and create a JSON file for 
 
-  * each language.
 
-  */
 
- $f = file("languages.dat");
 
- $patches = Array(
 
-     // Somehwere somehow the first percentage sign was lost
 
-     "dos" => Array(Array("\"%[^ ]", "\"%%[^ ]")),
 
-     // WTF, any ideas anyone?
 
-     "mercury" => Array(Array("\\\\\\\/", "\\\\\\\\\\\/")),
 
-     // The expression [^] is not allowed in PREG
 
-     "lisp" => Array(Array("[^]", "[^|]")),
 
-     // Just being plain lazy
 
-     "xml" => Array(Array("subLanguage\":\"\"", "subLanguage\":\"javascript\"")),
 
-     
 
- );
 
- for ($i=0; $i<count($f); $i+=2) {
 
-     if (isset($f[$i+1])) {
 
-         $fl = trim($f[$i]);
 
-         $json = $f[$i+1];
 
-         if (!$fl) {
 
-             die("ERROR: No language name on line ".($i+1).".<br />\n");
 
-         }
 
-         if (!@json_decode($json)) {
 
-             die("ERROR: invalid JSON data on line ".($i+2).".<br />\n");
 
-         }
 
-         if (isset($patches[$fl])) {
 
-             foreach ($patches[$fl] as $patch) {
 
-                 $json = str_replace($patch[0], $patch[1], $json);
 
-                 echo "{$patch[0]}, {$patch[1]}\n{$json}";
 
-             }
 
-         }
 
-         echo "Creating language file '{$fl}.json'.<br />\n";
 
-         if (!file_put_contents("../Highlight/languages/{$fl}.json", $json)) {
 
-             die("ERROR: Couldn't write to file.<br />\n");;
 
-         }
 
-     }
 
- }
 
 
  |