Fix for r58197, removed unnecessary array_merge()
authorTim Starling <tstarling@users.mediawiki.org>
Wed, 30 Dec 2009 08:01:17 +0000 (08:01 +0000)
committerTim Starling <tstarling@users.mediawiki.org>
Wed, 30 Dec 2009 08:01:17 +0000 (08:01 +0000)
commitc8c298210865216a3133d7a005d46f2877fbe410
tree8586c7603fa543ce12986dbd9ee11e8b10fface4
parent18ed54d077ba7638811361fbbc2958ebd0dd7b3d
Fix for r58197, removed unnecessary array_merge()
includes/HistoryPage.php