Use isset() instead of array_key_exists()
authorChad Horohoe <demon@users.mediawiki.org>
Wed, 27 Jan 2010 19:14:18 +0000 (19:14 +0000)
committerChad Horohoe <demon@users.mediawiki.org>
Wed, 27 Jan 2010 19:14:18 +0000 (19:14 +0000)
commit02a59dce9f40c8fda3ac85e533e0427513df7c93
treea86f1304263fefbf8acf3ede136fc0f7800dbb42
parent98b637402b1918a01ebc216e82f9d67d086c12ce
Use isset() instead of array_key_exists()
includes/Html.php