CiteHighlighter: finish renaming "Deploy source list tool"

NovemLinguae · NovemLinguae · commit b6326436ec3b · 2025-12-09T16:30:16.000-08:00
diff --git a/CiteHighlighter/deploy source list tool/index.php b/CiteHighlighter/deploy source list tool/index.php
@@ -23,14 +23,14 @@ function getWikitextFromEnWiki($article) {
 ?><!DOCTYPE html>
 <html lang="en-us">
 	<head>
-		<title>Cite Highlighter - NPPSG and MySources to array tool</title>
+		<title>Cite Highlighter - Deploy source list tool</title>
 		<link rel="stylesheet" href="style.css" />
 		<script type="module" src="script.js"></script>
 		<meta charset="utf-8">
 	</head>
 	<body>
 		<h1>
-			Cite Highlighter - NPPSG and MySources to array tool
+			Cite Highlighter - Deploy source list tool
 		</h1>
 		<p>
 			Automatically loads the contents of <a href="https://en.wikipedia.org/wiki/Wikipedia:New_page_patrol_source_guide" target="_blank">Wikipedia:New pages patrol source guide</a> and <a href="https://en.wikipedia.org/wiki/User:Novem_Linguae/Scripts/CiteHighlighter/AllSourcesExceptNPPSG" target="_blank">User:Novem Linguae/Scripts/CiteHighlighter/AllSourcesExceptNPPSG</a>, then parses it into JSON below. There are also some hard-coded domains and changes in this tool's Javascript logic.
