Skip to content

build(deps): bump the bundled MediaWiki extensions - #793

Merged
claude[bot] merged 3 commits into
mainfrom
updatecli_main_mediawiki-extensions
Sep 21, 2026
Merged

claude[bot] merged 3 commits into
mainfrom
updatecli_main_mediawiki-extensions

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

build(deps): bump the bundled MediaWiki extensions

build(deps): bump MobileFrontend to d6a63f38a522a7a5738ab79dc9bf585908e5d12b

change detected: * key "$.config.WikvenRepositories.MobileFrontend.commit" updated from "6dd857d35b77bf2c025c838fe01c339739f1e0c5" to "d6a63f38a522a7a5738ab79dc9bf585908e5d12b", in file "docs/.wikven.yaml"

build(deps): bump Translate to d924d7ef89ff1ee10838da4a27d64327ef27087b

changed lines [57] of file "Dockerfile"

build(deps): bump UniversalLanguageSelector to 46e2145ef5ff826a4d58b426b569c72d64104aab

changed lines [58] of file "Dockerfile"

GitHub Action workflow link
Updatecli logo

Created automatically by Updatecli

Options:

Most of Updatecli configuration is done via its manifest(s).

  • If you close this pull request, Updatecli will automatically reopen it, the next time it runs.
  • If you close this pull request and delete the base branch, Updatecli will automatically recreate it, erasing all previous commits made.

Feel free to report any issues at github.com/updatecli/updatecli.
If you find this tool useful, do not hesitate to star our GitHub repository as a sign of appreciation, and/or to tell us directly on our chat!

... bf585908e5d12b

Made with ❤️️ by updatecli
... a4d58b426b569c72d64104aab

Made with ❤️️ by updatecli
@github-actions github-actions Bot added the dependencies Pull requests that update a dependency file label Sep 21, 2026
@claude claude Bot closed this Sep 21, 2026
@claude claude Bot reopened this Sep 21, 2026
@github-actions
github-actions Bot temporarily deployed to preview September 21, 2026 13:28 Destroyed
@claude
claude Bot merged commit 913d4f6 into main Sep 21, 2026
31 of 32 checks passed
@claude
claude Bot deleted the updatecli_main_mediawiki-extensions branch September 21, 2026 13:38
@claude claude Bot mentioned this pull request Sep 21, 2026

This branch was successfully deployed

No deployments
preview — ea2475a9 Deployed Sep 21, 2026 by github-actions[bot]
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants