ci: insère keystoreProperties après plugins{} (build.gradle 3.24)

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>

tool/patch_android.py

@@ -33,12 +33,16 @@ open(man, "w").write(s)
 # 3) build.gradle : signature + schéma OIDC
 gr = "android/app/build.gradle"
 s = open(gr).read()
+# ⚠️ Rien n'est autorisé AVANT le bloc plugins {} → on insère juste avant `android {`
 if "keystoreProperties" not in s:
-    s = (
+    s = s.replace(
+        "android {",
         'def keystoreProperties = new Properties()\n'
         'def keystorePropertiesFile = rootProject.file("key.properties")\n'
         'if (keystorePropertiesFile.exists()) { keystoreProperties.load(new FileInputStream(keystorePropertiesFile)) }\n\n'
-    ) + s
+        'android {',
+        1,
+    )
 if "appAuthRedirectScheme" not in s:
     s = s.replace(
         "defaultConfig {",