Merge "WLFilters: convert mark as seen button to new style"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 18 Aug 2017 22:04:34 +0000 (22:04 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 18 Aug 2017 22:04:35 +0000 (22:04 +0000)
commit2d2cb5e1a3c878afd7b51220743f8fee6ba83263
treee050d0496e15bf4f3540d562219347d71b09a53a
parentad2b0c7053a9b33eee5ac7995dbd32128179f4ef
parent7da24265c85a694823403fc97b13d4d40b79c92b
Merge "WLFilters: convert mark as seen button to new style"
resources/Resources.php