Skip to content

Update to MediaWiki 1.43#475

Merged
AndrewKostka merged 32 commits into
mainfrom
update-mediawiki-1.43
Oct 1, 2025
Merged

Update to MediaWiki 1.43#475
AndrewKostka merged 32 commits into
mainfrom
update-mediawiki-1.43

Conversation

@AndrewKostka
Copy link
Copy Markdown
Contributor

@AndrewKostka AndrewKostka commented Feb 20, 2025

Bug: T385981

@AndrewKostka AndrewKostka marked this pull request as ready for review February 25, 2025 12:41
Copy link
Copy Markdown
Contributor

@rosalieper rosalieper left a comment

Choose a reason for hiding this comment

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

I wasn't able yet to have 1.43 with this change due to a blocker on my dev setup but having looked at the change, there is nothing that I would want to change except for the footer styling commit. since this PR is over half a year old we should run the syncscript again and some rebase before moving forward with it.

Copy link
Copy Markdown
Contributor

@rosalieper rosalieper Sep 8, 2025

Choose a reason for hiding this comment

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

I am not sure how the footer styling relate to this change. maybe this commit should be in a different PR?

@AndrewKostka AndrewKostka merged commit c60a834 into main Oct 1, 2025
9 checks passed
@AndrewKostka AndrewKostka deleted the update-mediawiki-1.43 branch October 1, 2025 08:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants