Merge "Convert Special:DeletedContributions to use OOUI."
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 6 Dec 2016 18:14:41 +0000 (18:14 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 6 Dec 2016 18:14:41 +0000 (18:14 +0000)
commite758226c91935a1df2b6fd3ed1f18922d8bfb45b
tree0571cea0883cbe521bde648e230a3f98f1c544f5
parent6730ddee23120973e5d0d42bd5c666fc1c964acd
parent03d1d295b99713bbe4657d26448bb7fc2b57d013
Merge "Convert Special:DeletedContributions to use OOUI."
includes/specials/SpecialDeletedContributions.php