build.gradle.kts: Update org.jetbrains.intellij version to 1.17.1

reedy · reedy · commit 72cf50e73fb5 · 2024-02-16T23:35:40.000Z
diff --git 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"

Original file line number	Diff line number	Diff line change
`@@ -3,7 +3,7 @@ fun properties(key: String) = project.findProperty(key).toString()`
`3`	`3`	`plugins {`
`4`	`4`	`id("java")`
`5`	`5`	`id("org.jetbrains.kotlin.jvm") version "1.8.22"`
`6`		`- id("org.jetbrains.intellij") version "1.14.1"`
	`6`	`+ id("org.jetbrains.intellij") version "1.17.1"`
`7`	`7`	`}`
`8`	`8`
`9`	`9`	`group = "org.mediawiki"`