dépôts
/
lhc
/
web
/
wiklou.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
(from parent 1:
ed51a25
)
Merge "HISTORY: Add MediaWiki 1.23 post-release change notes"
author
jenkins-bot
<jenkins-bot@gerrit.wikimedia.org>
Mon, 25 Mar 2019 20:37:48 +0000
(20:37 +0000)
committer
Gerrit Code Review
<gerrit@wikimedia.org>
Mon, 25 Mar 2019 20:37:48 +0000
(20:37 +0000)
HISTORY
patch
|
blob
|
history
diff --git
a/HISTORY
b/HISTORY
index
7c7f25b
..
e8a3692
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.