Use isset() instead of array_key_exists()

diff --git a/includes/Html.php b/includes/Html.php
index a17e033..ed06411 100644 (file)
--- a/includes/Html.php
+++ b/includes/Html.php
@@ -513,9 +513,9 @@ class Html {
                global $wgHtml5;
                $attribs['name'] = $name;
                if ( !$wgHtml5 ) {
-                       if ( !array_key_exists('cols', $attribs) )
+                       if ( !isset( $attribs['cols'] ) )
                                $attribs['cols'] = "";
-                       if ( !array_key_exists('rows', $attribs) )
+                       if ( !isset( $attribs['rows'] ) )
                                $attribs['rows'] = "";
                }
                return self::element( 'textarea', $attribs, $value );