From 02a59dce9f40c8fda3ac85e533e0427513df7c93 Mon Sep 17 00:00:00 2001
From: Chad Horohoe <demon@users.mediawiki.org>
Date: Wed, 27 Jan 2010 19:14:18 +0000
Subject: [PATCH] Use isset() instead of array_key_exists()

---
 includes/Html.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/includes/Html.php b/includes/Html.php
index a17e033466..ed06411df1 100644
--- 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 );
-- 
2.20.1