Expose server name in rc feed
authorOri Livneh <ori@wikimedia.org>
Tue, 6 May 2014 01:07:16 +0000 (18:07 -0700)
committerKrinkle <krinklemail@gmail.com>
Fri, 9 May 2014 09:55:00 +0000 (09:55 +0000)
commit5c74ac9feb107b6a2ac86685e4ccc9ca8572c1c0
treeedb422188e5d17dbbf91fe1e8640ff57e0a67ed1
parent72c0ce43a854d5cd5601d1d19423518065ce33ff
Expose server name in rc feed

Reviewers of Id819246a9 (Tim, Timo, Chad) have commented that it
would be preferable to identify wikis by their canonical hostname
rather than the value of $wgDBname. Exposing it here so that
the rcstream server can filter subscriptions by it.

Change-Id: I503a0134a8613daddaae9d8df29a1e27fbfd93bc
includes/rcfeed/MachineReadableRCFeedFormatter.php