From f2da57002e0fed2f4e0bf274d49bea15c530a39e Mon Sep 17 00:00:00 2001 From: Nikita Rana Date: Tue, 26 Mar 2019 00:08:56 +0530 Subject: [PATCH] HISTORY: Add MediaWiki 1.23 post-release change notes Add MediaWiki 1.23 post-release change notes, sourced from https://www.mediawiki.org/wiki/Release_notes/1.23 Bug:T213714 Change-Id: I20ad7615a2d9b0d3eb99abb41b125b30fc5d1ece --- HISTORY | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/HISTORY b/HISTORY index a9260699fb..a57edd4970 100644 --- a/HISTORY +++ b/HISTORY @@ -4785,6 +4785,11 @@ of files that are no longer available follows. = MediaWiki 1.23 = +== MediaWiki 1.23.17 == + +=== Changes since 1.23.16 === +* Fix syntax errors introduced in 1.23.16 when running PHP 5.3. + == MediaWiki 1.23.16 == This is a security and maintenance release of the MediaWiki 1.23 branch. -- 2.20.1