Merge "mediawiki.special.watchlist: Combine visitedstatus module"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 17 May 2018 16:26:16 +0000 (16:26 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 17 May 2018 16:26:16 +0000 (16:26 +0000)
commitb45207e0da48b660232fe2e499b2b22fe4bd3f5b
treef3cd0dae6a4b05f37fe296e436f98579e45d574c
parent11b59d8a8ed7fe0231551d6788f675d9dbd2d8e6
parentb07b326476ef3db1b9d1130b00289ab03587a56d
Merge "mediawiki.special.watchlist: Combine visitedstatus module"
resources/Resources.php