From 07714b62dfe212fbd649cf7c0a3aa3ccbdfaf2f8 Mon Sep 17 00:00:00 2001
From: Mike Frysinger <vapier@google.com>
Date: Fri, 25 Apr 2025 12:54:38 -0400
Subject: [PATCH] update google/code-prettify load URL

The rawgit service was shutdown in 2019, and people are supposed to
migrate to cdn.jsdelivr.net.
https://groups.google.com/g/js-code-prettifier/c/IFHev_kLm30
---
 include/jsguide.js | 4 ++--
 javaguide.html     | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/include/jsguide.js b/include/jsguide.js
index c5eea05..0cd7b29 100644
--- a/include/jsguide.js
+++ b/include/jsguide.js
@@ -57,7 +57,7 @@ window.initStyleGuide = function(init) {
 
   // Call the pretty-printer after we've fixed up the code blocks.
   var pretty = document.createElement('script');
-  pretty.src = 'https://cdn.rawgit.com/google/code-prettify/master/loader/' +
-      'run_prettify.js';
+  pretty.src = 'https://cdn.jsdelivr.net/gh/google/code-prettify@master/' +
+      'loader/run_prettify.js';
   document.body.appendChild(pretty);
 }.bind(null, window.initStyleGuide);
diff --git a/javaguide.html b/javaguide.html
index 4fa013c..ac4f707 100644
--- a/javaguide.html
+++ b/javaguide.html
@@ -6,7 +6,7 @@
 <link rel="stylesheet" href="javaguide.css">
 <script src="include/styleguide.js"></script>
 <link rel="shortcut icon" href="/styleguide/favicon.ico">
-<script src="https://cdn.rawgit.com/google/code-prettify/master/loader/run_prettify.js"></script>
+<script src="https://cdn.jsdelivr.net/gh/google/code-prettify@master/loader/run_prettify.js"></script>
 </head>
 <body onload="initStyleGuide();">
 <div id="content">