Remove unused global in wfLogProfilingData
authorumherirrender <umherirrender_de.wp@web.de>
Fri, 7 Nov 2014 14:18:18 +0000 (15:18 +0100)
committerReedy <reedy@wikimedia.org>
Fri, 7 Nov 2014 14:33:24 +0000 (14:33 +0000)
commit6f50f1bee564e16a07aaad7a101787076d5a465a
tree2d15723cd2b763da9b328790a05ca11dc79a836a
parentadf8cf6da18d575fd77eabcf6146e56f7e56f993
Remove unused global in wfLogProfilingData

Change-Id: I873efb8967cd17c89de5b32fcde6c738eefa03e6
includes/GlobalFunctions.php