Last modified: 2012-07-10 18:25:50 UTC
In the UPGRADE file, there is a line that says "In MediaWiki 1.14 some extensions are migrated into the core.". This should be "were", not "are", because 1.14 was released a looooong time ago. (This is a demo bug for the bug lifecycle tutorial at Wikimania)
What?! That should totally be fixed!
Alright, I'll work on this.
Fixed in https://gerrit.wikimedia.org/r/15154
(In reply to comment #3) > Fixed in https://gerrit.wikimedia.org/r/15154 This patch was rejected, please submit a new one.
I think this might be related to bug 12345.