From 72cf50e73fb587aefae33113ec6df5385b946608 Mon Sep 17 00:00:00 2001
From: Reedy <reedy@wikimedia.org>
Date: Fri, 16 Feb 2024 23:35:40 +0000
Subject: [PATCH] build.gradle.kts: Update org.jetbrains.intellij version to
 1.17.1

---
 build.gradle.kts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.gradle.kts b/build.gradle.kts
index 1f37a33..d49ab80 100644
--- a/build.gradle.kts
+++ b/build.gradle.kts
@@ -3,7 +3,7 @@ fun properties(key: String) = project.findProperty(key).toString()
 plugins {
   id("java")
   id("org.jetbrains.kotlin.jvm") version "1.8.22"
-  id("org.jetbrains.intellij") version "1.14.1"
+  id("org.jetbrains.intellij") version "1.17.1"
 }
 
 group = "org.mediawiki"