From: Chad Horohoe <demon@users.mediawiki.org>
Date: Wed, 27 Jan 2010 19:14:18 +0000 (+0000)
Subject: Use isset() instead of array_key_exists()
X-Git-Tag: 1.31.0-rc.0~38076
X-Git-Url: https://git.cyclocoop.org/admin/?a=commitdiff_plain;h=02a59dce9f40c8fda3ac85e533e0427513df7c93;p=lhc%2Fweb%2Fwiklou.git

Use isset() instead of array_key_exists()
---

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 );