Wikidata/Wikidata-Toolkit — pull request #7 by mkroetzsch (2014-02-10 13:07:45+00:00)
Title: New Timer utility for measuring CPU and wall times

Includes thread-aware timer registry for time taking across multiple threads.