Update the org.jetbrains.intellij.platform version to 2.5.0 (#8038)

See https://plugins.gradle.org/plugin/org.jetbrains.intellij.platform

This resolves #8037

Author: jwren

Diff for: build.gradle.kts

@@ -32,8 +32,7 @@ plugins {
   // https://plugins.jetbrains.com/docs/intellij/tools-intellij-platform-gradle-plugin.html
   // https://github.com/JetBrains/intellij-platform-gradle-plugin/releases
   // https://plugins.gradle.org/plugin/org.jetbrains.kotlin.jvm
-  // TODO(jwren) "2.2.0" can't be used to build 2023.3, as soon as we don't support this version, update the version here and elsewhere:
-  id("org.jetbrains.intellij.platform") version "2.4.0"
+  id("org.jetbrains.intellij.platform") version "2.5.0"
   id("org.jetbrains.kotlin.jvm") version "2.1.20"
 }
 

Diff for: flutter-idea/build.gradle.kts

@@ -23,7 +23,7 @@ plugins {
   // https://github.com/JetBrains/intellij-platform-gradle-plugin/releases
   // https://plugins.gradle.org/plugin/org.jetbrains.kotlin.jvm
   id("java")
-  id("org.jetbrains.intellij.platform") version "2.4.0"
+  id("org.jetbrains.intellij.platform") version "2.5.0"
   id("org.jetbrains.kotlin.jvm") version "2.1.20"
 }