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
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