Issues relating to internationalization, localization, translation, and the MediaWiki namespace.
This project is part of the core MediaWiki software itself.
Details
- Source Repo
- https://gerrit.wikimedia.org/g/mediawiki/core/
Yesterday
Change #1052829 had a related patch set uploaded (by Bartosz Dziewoński; author: Bartosz Dziewoński):
[mediawiki/core@master] StatusFormatter: Document wikitext escaping of parameters
I'm pretty sure it can.
- getMessage() just returns a Message, and the methods there like ->plain() are already annotated with @return-taint tainted.
- getWikiText() has the same taint as getMessage()->plain(), it seems to deduce that already but we could just add @return-taint tainted there too.
I added tests for it: https://gerrit.wikimedia.org/r/c/mediawiki/core/+/1052825
Change #1052668 had a related patch set uploaded (by Jforrester; author: Jforrester):
[mediawiki/extensions/CentralNotice@wmf_deploy] Merge branch 'master' into wmf_deploy
Sun, Jul 7
Age is never a bug; being outdated is a bug.
The same can be said for logentry-gblrights-rights, rightslogentry, gur-rightslog-entry, logentry-gblrights-usergroups,
Wed, Jul 3
Change #1048056 abandoned by Umherirrender:
[mediawiki/extensions/CentralNotice@wmf_deploy] Use OutputPage::setPageTitleMsg() instead of ::setPageTitle()
Reason:
Waiting for the next (regular) merges from master to wmf_deploy
Change #1051680 merged by jenkins-bot:
[mediawiki/core@master] Update jquery.i18n from 1.0.7 to 1.0.10
Change #1051680 merged by jenkins-bot:
[mediawiki/core@master] Update jquery.i18n from 1.0.7 to 1.0.10
Change #1051680 merged by jenkins-bot:
[mediawiki/core@master] Update jquery.i18n from 1.0.7 to 1.0.10
Change #1051680 merged by jenkins-bot:
[mediawiki/core@master] Update jquery.i18n from 1.0.7 to 1.0.10
Change #1051680 merged by jenkins-bot:
[mediawiki/core@master] Update jquery.i18n from 1.0.7 to 1.0.10
Change #1051680 merged by jenkins-bot:
[mediawiki/core@master] Update jquery.i18n from 1.0.7 to 1.0.10
Change #1051680 merged by jenkins-bot:
[mediawiki/core@master] Update jquery.i18n from 1.0.7 to 1.0.10
Change #1051680 merged by jenkins-bot:
[mediawiki/core@master] Update jquery.i18n from 1.0.7 to 1.0.10
Change #1051680 merged by jenkins-bot:
[mediawiki/core@master] Update jquery.i18n from 1.0.7 to 1.0.10
Change #1051680 merged by jenkins-bot:
[mediawiki/core@master] Update jquery.i18n from 1.0.7 to 1.0.10
Change #1051680 merged by jenkins-bot:
[mediawiki/core@master] Update jquery.i18n from 1.0.7 to 1.0.10
Change #1051680 merged by jenkins-bot:
[mediawiki/core@master] Update jquery.i18n from 1.0.7 to 1.0.10
Change #1051680 merged by jenkins-bot:
[mediawiki/core@master] Update jquery.i18n from 1.0.7 to 1.0.10
Change #1051680 merged by jenkins-bot:
[mediawiki/core@master] Update jquery.i18n from 1.0.7 to 1.0.10
Change #1051680 merged by jenkins-bot:
[mediawiki/core@master] Update jquery.i18n from 1.0.7 to 1.0.10
Change #1051680 merged by jenkins-bot:
[mediawiki/core@master] Update jquery.i18n from 1.0.7 to 1.0.10
Change #1051680 merged by jenkins-bot:
[mediawiki/core@master] Update jquery.i18n from 1.0.7 to 1.0.10
Change #1051680 merged by jenkins-bot:
[mediawiki/core@master] Update jquery.i18n from 1.0.7 to 1.0.10
Change #1051680 merged by jenkins-bot:
[mediawiki/core@master] Update jquery.i18n from 1.0.7 to 1.0.10
Change #1051680 merged by jenkins-bot:
[mediawiki/core@master] Update jquery.i18n from 1.0.7 to 1.0.10
Change #1051680 merged by jenkins-bot:
[mediawiki/core@master] Update jquery.i18n from 1.0.7 to 1.0.10
Change #1051680 merged by jenkins-bot:
[mediawiki/core@master] Update jquery.i18n from 1.0.7 to 1.0.10
Change #1051680 had a related patch set uploaded (by Winston Sung; author: Winston Sung):
[mediawiki/core@master] Update jquery.i18n from 1.0.7 to 1.0.10
Change #1051680 had a related patch set uploaded (by Winston Sung; author: Winston Sung):
[mediawiki/core@master] Update jquery.i18n from 1.0.7 to 1.0.10