Fix bug in HTMLForm system where "Other" option for timezone was shown twice, reporte...
[lhc/web/wiklou.git] / includes / HTMLForm.php
index fef7742..ae35756 100644 (file)
@@ -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';
                }