Profiling for hook calls.
authordaniel <daniel.kinzler@wikimedia.de>
Thu, 31 Jan 2013 14:39:37 +0000 (15:39 +0100)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 1 Feb 2013 10:51:00 +0000 (10:51 +0000)
commit5d270eb65de80b1fba024102eea82b63ba22c968
tree0df181b174e073e32b406a3c50f01e43ccfc5dd9
parent787547975789fd72729ae74af8add87a1a01aa5d
Profiling for hook calls.

This is similar to profiloing for db queries.

Change-Id: I14051f8aff30d249f4197270337e4080adfa5417
includes/Hooks.php