Merge "Improve in-line documentation of $wgUrlProtocols; add 'redis://'"