Merge "HISTORY: Add MediaWiki 1.23 post-release change notes"