Remove unused function
authorChad Horohoe <chadh@wikimedia.org>
Thu, 7 Nov 2013 00:09:29 +0000 (16:09 -0800)
committerChad Horohoe <chadh@wikimedia.org>
Thu, 7 Nov 2013 00:09:42 +0000 (16:09 -0800)
commitf3d6db5843edfcac3f8cd06baa1464660a8631c2
treecb0db88e2191080720b73d6ff95391b018417a2c
parent4b60bdab97cacbc4d3ba654b732b3a005aa1fd9c
Remove unused function

Change-Id: I51975357c91295f757532ff219a8db8ca939ba0c
includes/GlobalFunctions.php