Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update mediawiki to 1.39.7 #439

Merged
merged 13 commits into from
Apr 26, 2024
1 change: 1 addition & 0 deletions wikiman.yaml
Expand Up @@ -72,6 +72,7 @@ extensions:
repoName: wikimedia/mediawiki-extensions-Kartographer
- name: Math
repoName: wikimedia/mediawiki-extensions-Math
repoRef: 2822d35380c87960c56111be025fd2c5817e919e
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I read your comment and the ticket but TBH I failed to understand why we need to pin back to this version; would we be better to either add a patch or actually backport the change to the repo upstream?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Solely to prioritize the deployment of the security fix, that cleanup can happen in a follow up PR IMO

Copy link
Contributor Author

@deer-wmde deer-wmde Apr 24, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

using up-to-date code resolved this

- name: Score
repoName: wikimedia/mediawiki-extensions-Score
- name: PageImages
Expand Down