Highlight Jenkinsfile as groovy

Change-Id: I1d2c24945c07949eba3d2018dcc81b4edd634973
2019-10-20 15:30:14 +00:00
parent 2737147eb7
commit f1e7ea40c7
1 changed files with 1 additions and 0 deletions
--- a/gerrit-server/src/main/resources/com/google/gerrit/server/mime/mime-types.properties
+++ b/gerrit-server/src/main/resources/com/google/gerrit/server/mime/mime-types.properties
@@ -100,6 +100,7 @@ ini = text/x-properties
 intr = text/x-dylan
 jade = text/x-pug
 java = text/x-java
+Jenkinsfile = text/x-groovy
 jl = text/x-julia
 jruby = text/x-ruby
 js = text/javascript