Merge pull request #2989 from mbeddr/renovate/maintenance/mps20251-patch-mpsextensionsversion

fix(deps): update dependency de.itemis.mps:extensions to v2025.1.3248.822855d (maintenance/mps20251)

Author: sergej-koscejev

build.gradle

@@ -10,7 +10,7 @@ ext.mpsMajor = "2025.1"
 ext.mpsBuild = "2025.1"
 
 //MPS-extensions version
-ext.mpsExtensionsVersion = "2025.1.3244.3c5430f"
+ext.mpsExtensionsVersion = "2025.1.3248.822855d"
 
 ext.artifactsDir = new File(rootDir, 'artifacts')