Remove wfProfileIn/wfProfileOut
authorUmherirrender <umherirrender_de.wp@web.de>
Sat, 24 Feb 2018 09:45:31 +0000 (10:45 +0100)
committerUmherirrender <umherirrender_de.wp@web.de>
Sat, 24 Feb 2018 09:45:31 +0000 (10:45 +0100)
commitb5dd5c769ab9b168bf3d5d03e17ab6a07c086cca
tree1ca874b0427b2690abc541d012fd355bb73db08f
parent29c6ce7a9e3e78c9a93312a6284993c0d5916b40
Remove wfProfileIn/wfProfileOut

@deprecated since 1.25

Change-Id: Ie13c31816280fa577ef6bfb5fef172163f83c408
RELEASE-NOTES-1.31
includes/GlobalFunctions.php