318035a603
fix: update extensions updater to use GitHub release assets
...
The updater script now prefers GitHub release assets (.zip files) over
source archives when fetching extensions marked as "release" type. This
ensures extensions like AuthManagerOAuth include vendored dependencies.
Fixes the underlying issue from #271
2025-06-18 13:29:25 +02:00
0db44303f5
move all extensions to extension.json
2025-06-11 09:11:43 +02:00
6085d5513a
nixfmt extensions
2024-09-28 14:26:27 +00:00
d10e4f8977
apply treemft
2024-07-06 09:22:02 +00:00
eb6f4a74c3
add Translate and UniversialLanguageSelector
2024-07-06 08:34:01 +00:00
0f9c268def
increase exponential backoff when trying to fetch github releases
2024-06-06 11:15:24 +02:00
e5c9a38a14
add retry when updating mediawiki releases
2024-04-25 10:57:01 +02:00
a3f1f5f23d
downloaded extensions need to be unpacked
2024-04-19 09:21:31 +02:00
604798589a
nixfmt
2024-04-19 09:17:12 +02:00
deb9f3b2a0
automatically update mediawiki extensions
2024-04-19 09:12:58 +02:00
