Remove unused function
authorChad Horohoe <chadh@wikimedia.org>
Thu, 7 Nov 2013 00:18:54 +0000 (16:18 -0800)
committerChad Horohoe <chadh@wikimedia.org>
Thu, 7 Nov 2013 00:18:54 +0000 (16:18 -0800)
commitdbab8a83d5c04a9545a9309d0c7a6fc9d366ea22
treee6bfd7fad6338a52f8f45afc2773fd0070dbcd4c
parentf3d6db5843edfcac3f8cd06baa1464660a8631c2
Remove unused function

Change-Id: I6a1386077282cbf8faf7b35311cd886e939c76a8
includes/GlobalFunctions.php