Merge "Convert file delete to use OOUI"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 1 Aug 2018 17:23:24 +0000 (17:23 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 1 Aug 2018 17:23:24 +0000 (17:23 +0000)
commit695d7c28fe7036e9988ce92908185ebc41238296
treece2d150ade3feacd58342b5f9201ed7bb9abb943
parente143c40fee88922eb393a88f94e60afc439d1f49
parent65a8e68ec07d7eed10d868f4338f29cbbcefa992
Merge "Convert file delete to use OOUI"
includes/FileDeleteForm.php
resources/Resources.php