Merge "SpecialRecentChanges: Use $wgRecentChangesFlags in makeLegend()"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 24 Nov 2013 20:20:51 +0000 (20:20 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 24 Nov 2013 20:20:51 +0000 (20:20 +0000)
commitff6146db36f9ae74c4c824208d2d22108ffb8fc2
treec05c57816ba0a5ef61d5f6b86a4ef9592312a05e
parentc69c9394413bd7d676e08f0ee83f49477fbcdcba
parentd8990fada1b14a05b2f457595edaf226a85fed1c
Merge "SpecialRecentChanges: Use $wgRecentChangesFlags in makeLegend()"