Actually put release note for bug 63444 in RELEASE-NOTES-1.23 in master

Change I886b44bd removed the note from RELEASE-NOTES-1.24 because the
change was backported to the REL1_23 branch, but it didn't actually put
the note into RELEASE-NOTES-1.23 in the master branch. This might be
problematic if REL1_23 later gets merges from master.

Change-Id: I0ee55deb9b44b7854146ca65b1c4fc6f8ab0e1f1

diff --git a/RELEASE-NOTES-1.23 b/RELEASE-NOTES-1.23
index d0a8ec7..2d7dfe9 100644 (file)
--- a/RELEASE-NOTES-1.23
+++ b/RELEASE-NOTES-1.23
@@ -150,6 +150,8 @@ production.
   This requires at least one Redis 2.6+ server.
 * $wgProfileToDatabase was removed. Set $wgProfiler to ProfilerSimpleDB
   in StartProfiler.php instead of using this.
+* (bug 63444) Made it possible to change the indent string (default: 4 spaces)
+  used by FormatJson::encode().
 
 === Bug fixes in 1.23 ===
 * (bug 41759) The "updated since last visit" markers (on history pages, recent