Merge "NamespaceMultiselectWidget: Allow filtering by namespace ID or label"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 9 Mar 2019 20:59:51 +0000 (20:59 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 9 Mar 2019 20:59:51 +0000 (20:59 +0000)
commitba32e133e97b0f1f6b9ddb7e3c7a9cc79d0be977
treefb56131387ab7baf62af982f92cf964e13a47aa2
parentb972c452b50dc863a8a9aa622cdd8ff9b5651e61
parent6ba615683cb9106f8658082061b2c9f255daf7fa
Merge "NamespaceMultiselectWidget: Allow filtering by namespace ID or label"
resources/Resources.php