101 lines
4.0 KiB
PHP
101 lines
4.0 KiB
PHP
<?php
|
|
|
|
/* Copyright (c)
|
|
* - 2013-2019 Geert Bergman (geert@scrivo.nl), highlight.php
|
|
* - 2014 Daniel Lynge, highlight.php (contributor)
|
|
*
|
|
* 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 'node launcher.js' and create a JSON file for each language.
|
|
|
|
$f = file("languages.dat");
|
|
|
|
$patches = array(
|
|
// The expression \\/: causes issues for PREG due to the / and the : having special meaning, therefore we use \Q and
|
|
// \E to have PREG treat them as literal characters
|
|
"1c" => array(
|
|
array("\\\\\\\\/:", "\\\\Q\\\\/:\\\\E"),
|
|
),
|
|
|
|
// The expression []{}%#'" should be treated as a list of invalid characters, however the [] is special in PREG so
|
|
// we use \Q and \E to have PREG treat them as literal characters
|
|
"ada" => array(
|
|
array("[]{}%#'\\\"", "\\\\Q[]{}%#'\\\"\\\\E"),
|
|
),
|
|
|
|
// WTF, any ideas anyone?
|
|
"mercury" => array(array("\\\\\\\/", "\\\\\\\\\\\/")),
|
|
|
|
// The expression [^] is not allowed in PREG
|
|
"lisp" => array(array("[^]", "[^|]")),
|
|
|
|
// There's a typo in the Swift translation file
|
|
"swift" => array(array(
|
|
'{02B80}-9',
|
|
'{02B8}0-9',
|
|
)),
|
|
);
|
|
|
|
for ($i = 0; $i < count($f); $i += 2) {
|
|
if (!isset($f[$i + 1])) {
|
|
continue;
|
|
}
|
|
|
|
$languageName = trim($f[$i]);
|
|
$jsonLangDef = $f[$i + 1];
|
|
|
|
// The `-` character must be escaped in while in `[]`. This is enforced in PHP 7.3+
|
|
// https://wiki.php.net/rfc/pcre2-migration
|
|
// https://github.com/php/php-src/pull/2857
|
|
$jsonLangDef = preg_replace('/(\[[^:]*?\w)(-)([^a-zA-Z0-9\\\\]+?)/um', '$1\\\\\\-$3', $jsonLangDef);
|
|
|
|
if (!$languageName) {
|
|
die(sprintf("ERROR: No language name on line %d\n", ($i + 1)));
|
|
}
|
|
if (!@json_decode($jsonLangDef)) {
|
|
die(sprintf("ERROR: Invalid JSON data on line %d\n", ($i + 2)));
|
|
}
|
|
|
|
if (isset($patches[$languageName])) {
|
|
foreach ($patches[$languageName] as $j => $patch) {
|
|
$patched = str_replace($patch[0], $patch[1], $jsonLangDef);
|
|
|
|
if ($jsonLangDef === $patched) {
|
|
printf("Patch %d for %s was not applied and likely unnecessary\n", $j, $languageName);
|
|
}
|
|
|
|
$jsonLangDef = $patched;
|
|
}
|
|
}
|
|
|
|
$jsonLangDef = json_encode(json_decode($jsonLangDef), JSON_UNESCAPED_UNICODE | JSON_PRETTY_PRINT) . "\n";
|
|
|
|
if (!file_put_contents("../Highlight/languages/{$languageName}.json", $jsonLangDef)) {
|
|
die("ERROR: Couldn't write to file.\n");
|
|
}
|
|
}
|