Merge "Allow wikilinks in "show/hide <type of change>" labels on Watchlist and Recent...
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 6 Dec 2017 13:23:47 +0000 (13:23 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 6 Dec 2017 13:23:47 +0000 (13:23 +0000)
commit71184c31f6e1b55155d916ac447d0a59ae59a94a
tree7b35a3763adc492f1e5f6fed149654c7e9d6e269
parentd0142faf253e069473888dc378979b804fb2b07e
parent7a477b2df2e56a7c51601d092b2eac29d35d4e3e
Merge "Allow wikilinks in "show/hide <type of change>" labels on Watchlist and RecentChanges"
includes/specials/SpecialRecentchanges.php
includes/specials/SpecialWatchlist.php