Merge "Add a help button to the Tagged Edits menu"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 3 Oct 2017 15:57:09 +0000 (15:57 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 3 Oct 2017 15:57:09 +0000 (15:57 +0000)
commit5c6dc0c61d93423763f4eccaf577331aef224fb0
treea3d792d09fd837d6bb64c008e0eed48c038aa83e
parent371a9876ad3df2179d3d3bfb6fc5576030c38b72
parent067dfc11ec3664240741d1263ee9ce692ed70fd1
Merge "Add a help button to the Tagged Edits menu"
resources/Resources.php