Merge "Make label on Special:Undelete search reflect whether search is full-text...
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 11 Jul 2017 18:06:52 +0000 (18:06 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 11 Jul 2017 18:06:52 +0000 (18:06 +0000)
commit925fe0df015458a330d320c9f1a0014d32ff8866
treee2b2b2be35bd4797fbef116e4fdc0ef96324bd44
parent7fe6ee10a12c175edda10d0f2f391e6d647ed995
parentacc375d88c0b9bf142197470e708462c16e5a37b
Merge "Make label on Special:Undelete search reflect whether search is full-text or prefix"
includes/specials/SpecialUndelete.php
languages/i18n/en.json
languages/i18n/qqq.json