Merge "Rename '$wgStreamLoggers' => '$wgRCEngines'"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 26 Aug 2013 23:01:04 +0000 (23:01 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 26 Aug 2013 23:01:04 +0000 (23:01 +0000)
commit6996988cd2cedc0081ff4ee71c7882b05646232e
tree4aad618475b3fa4c1fa580f8275ed50263666aa1
parentbfaa602229ed8a7ff9544195a7e91a500f337a49
parentffc71cb6afeae296ed4365dcccdc07f2621b099d
Merge "Rename '$wgStreamLoggers' => '$wgRCEngines'"