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

diff --git a/HISTORY b/HISTORY
index a926069..a57edd4 100644 (file)
--- 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 === <!--T:69-->
+* 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.