Sync config files from main

Author: actions-user

docs/.vitepress/config/source.json

@@ -179,8 +179,12 @@
         }
     },
     "gmp": {
-        "type": "ghtagtar",
-        "repo": "alisw/GMP",
+        "type": "url",
+        "url": "https://dl.static-php.dev/static-php-cli/deps/gmp/gmp-6.3.0.tar.xz",
+        "alt": {
+            "type": "ghtagtar",
+            "repo": "alisw/GMP"
+        },
         "license": {
             "type": "text",
             "text": "Since version 6, GMP is distributed under the dual licenses, GNU LGPL v3 and GNU GPL v2. These licenses make the library free to use, share, and improve, and allow you to pass on the result. The GNU licenses give freedoms, but also set firm restrictions on the use with non-free programs."