diff --git a/scripts/updateModHistory.php b/scripts/updateModHistory.php new file mode 100644 index 000000000..6ca06bc9a --- /dev/null +++ b/scripts/updateModHistory.php @@ -0,0 +1,123 @@ + $fileProps) { + if ($fileName === "last commit hash") { + $newModHistoryString .= " \"last commit hash\" => \"" . implode("", $fileProps) . "\",\n"; + continue; + } + $newModHistoryString .= ' "' . $fileName . "\" => [\n"; + $newModHistoryString .= " \"modified\" => \"" . ($fileProps["modified"] ?? "") . "\",\n"; + $newModHistoryString .= " \"contributors\" => [\n"; + if (isset($fileProps["contributors"])) { + if (!is_array($fileProps["contributors"])) { + exit("Non-array contributors list\n"); + } + foreach ($fileProps["contributors"] as $contributor) { + $newModHistoryString .= " \"" . $contributor . "\",\n"; + } + } + $newModHistoryString .= " ],\n"; + $newModHistoryString .= " ],\n"; +} +$newModHistoryString .= "];\n"; + +if (file_put_contents($modHistoryFile, $newModHistoryString) === false) { + exit("Could not write modification history file\n"); +} + +echo "Modification history updated\n";