Tobias Gritschacher has submitted this change and it was merged.

Change subject: Add profiling for repo hooks in Wikibase
......................................................................


Add profiling for repo hooks in Wikibase

Patchset 2: Small fix
Patchset 3: Gaaah..

Change-Id: I902e9200f3e1acfb621654b69ac19ffafb2ad1c5
---
M repo/Wikibase.hooks.php
1 file changed, 52 insertions(+), 0 deletions(-)

Approvals:
  Tobias Gritschacher: Verified; Looks good to me, approved


--
To view, visit https://gerrit.wikimedia.org/r/32241
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I902e9200f3e1acfb621654b69ac19ffafb2ad1c5
Gerrit-PatchSet: 3
Gerrit-Project: mediawiki/extensions/Wikibase
Gerrit-Branch: master
Gerrit-Owner: John Erling Blad <[email protected]>
Gerrit-Reviewer: John Erling Blad <[email protected]>
Gerrit-Reviewer: Tobias Gritschacher <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to