Fix bug in HTMLForm system where "Other" option for timezone was shown twice, reporte...

diff --git a/includes/HTMLForm.php b/includes/HTMLForm.php
index fef7742..ae35756 100644 (file)
--- a/includes/HTMLForm.php
+++ b/includes/HTMLForm.php
@@ -630,7 +630,7 @@ class HTMLSelectOrOtherField extends HTMLTextField {
        static $jsAdded = false;
 
        function __construct( $params ) {
-               if( !array_key_exists( 'other', $params['options'] ) ) {
+               if( !in_array( 'other', $params['options'] ) ) {
                        $params['options'][wfMsg( 'htmlform-selectorother-other' )] = 'other';
                }