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

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

Author: wsafonov

build.gradle

@@ -10,7 +10,7 @@ ext.mpsMajor = "2025.1"
 ext.mpsBuild = "2025.1"
 
 //MPS-extensions version
-ext.mpsExtensionsVersion = "2025.1.3252.4277ad8"
+ext.mpsExtensionsVersion = "2025.1.3271.ba313c2"
 
 ext.artifactsDir = new File(rootDir, 'artifacts')