Merge "Remove "or other" option for stubtreshold"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 8 Jan 2014 21:31:11 +0000 (21:31 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 8 Jan 2014 21:31:11 +0000 (21:31 +0000)
commit15cb0501f6bc24d368a0b4c9181028831fe16cb3
treee1b04800302a03facf61cbfdcba7c975f7278b66
parente40079c3f8014f7c978d5856e5a016ed7ce9f7b9
parentf3d8cc92a58b2677f2bab69dff23ebe027ad79cc
Merge "Remove "or other" option for stubtreshold"
includes/Preferences.php