Merge "Rewrite pref cleanup script"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 31 Jan 2018 18:47:59 +0000 (18:47 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 31 Jan 2018 18:47:59 +0000 (18:47 +0000)
commit7babd362babcbf7f20adb8e12edb4f4bc1d4249f
treedfbad42e33c9604340d518764d036f26dacd40b0
parent199df046c48a29c9ae2ea6194dad664ffc8fb9f8
parent326f5559073e5f07ccb319fd7e720e9132d793bc
Merge "Rewrite pref cleanup script"
maintenance/cleanupPreferences.php