Merge "Delete maintenance/purgeOldText.inc"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 22 Sep 2014 18:02:06 +0000 (18:02 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 22 Sep 2014 18:02:06 +0000 (18:02 +0000)
includes/Preferences.php

index 84cf5af..98fc936 100644 (file)
@@ -706,6 +706,7 @@ class Preferences {
                        'options' => $tzOptions,
                        'default' => $tzSetting,
                        'size' => 20,
+                       'maxlength' => 6,
                        'section' => 'rendering/timeoffset',
                );
        }