Brings us back to a stable version of Gerrit instead of a random commit. Note that Gerrit 3.4.1 is out, but due to a bug it can not be built publicly because it accidentally points at a private submodule (this is being fixed upstream). Change-Id: I0376c63a649498cef999dfa99bfccba511f2c8da Reviewed-on: https://cl.tvl.fyi/c/depot/+/3444 Tested-by: BuildkiteCI Reviewed-by: lukegb <lukegb@tvl.fyi>
		
			
				
	
	
		
			46 lines
		
	
	
	
		
			1.6 KiB
		
	
	
	
		
			Diff
		
	
	
	
	
	
			
		
		
	
	
			46 lines
		
	
	
	
		
			1.6 KiB
		
	
	
	
		
			Diff
		
	
	
	
	
	
From be348f64eda257ae0af1f89552548d3e8eca3688 Mon Sep 17 00:00:00 2001
 | 
						|
From: Luke Granger-Brown <git@lukegb.com>
 | 
						|
Date: Thu, 2 Jul 2020 23:02:43 +0100
 | 
						|
Subject: [PATCH 3/7] Syntax highlight rules.pl
 | 
						|
 | 
						|
---
 | 
						|
 .../diff/gr-syntax-layer/gr-syntax-layer.ts         | 13 ++++++++++++-
 | 
						|
 1 file changed, 12 insertions(+), 1 deletion(-)
 | 
						|
 | 
						|
diff --git a/polygerrit-ui/app/elements/diff/gr-syntax-layer/gr-syntax-layer.ts b/polygerrit-ui/app/elements/diff/gr-syntax-layer/gr-syntax-layer.ts
 | 
						|
index 2762ccc625..598e14589f 100644
 | 
						|
--- a/polygerrit-ui/app/elements/diff/gr-syntax-layer/gr-syntax-layer.ts
 | 
						|
+++ b/polygerrit-ui/app/elements/diff/gr-syntax-layer/gr-syntax-layer.ts
 | 
						|
@@ -103,6 +103,10 @@ const LANGUAGE_MAP = new Map<string, string>([
 | 
						|
 ]);
 | 
						|
 const ASYNC_DELAY = 10;
 | 
						|
 
 | 
						|
+const FILENAME_OVERRIDES = new Map<string, string>([
 | 
						|
+  ['rules.pl', 'prolog'],
 | 
						|
+]);
 | 
						|
+
 | 
						|
 const CLASS_SAFELIST = new Set<string>([
 | 
						|
   'gr-diff gr-syntax gr-syntax-attr',
 | 
						|
   'gr-diff gr-syntax gr-syntax-attribute',
 | 
						|
@@ -241,10 +245,17 @@ export class GrSyntaxLayer implements DiffLayer {
 | 
						|
     }
 | 
						|
   }
 | 
						|
 
 | 
						|
+  _basename(filename: string): string {
 | 
						|
+    const pieces = filename.split(/\//);
 | 
						|
+    return pieces[pieces.length-1];
 | 
						|
+  }
 | 
						|
+
 | 
						|
   _getLanguage(metaInfo: DiffFileMetaInfo) {
 | 
						|
     // The Gerrit API provides only content-type, but for other users of
 | 
						|
     // gr-diff it may be more convenient to specify the language directly.
 | 
						|
-    return metaInfo.language ?? LANGUAGE_MAP.get(metaInfo.content_type);
 | 
						|
+    return metaInfo.language ??
 | 
						|
+        FILENAME_OVERRIDES.get(this._basename(metaInfo.name)) ??
 | 
						|
+        LANGUAGE_MAP.get(metaInfo.content_type);
 | 
						|
   }
 | 
						|
 
 | 
						|
   /**
 | 
						|
-- 
 | 
						|
2.32.0
 | 
						|
 |