Revert accidentally removed trait
authorAdam Roses Wight <awight@wikimedia.org>
Tue, 16 Jan 2018 23:42:29 +0000 (18:42 -0500)
committerUmherirrender <umherirrender_de.wp@web.de>
Thu, 18 Jan 2018 19:08:25 +0000 (19:08 +0000)
commit06fe44872c16bc968f94131b1d05c50d7e3101e6
tree637600612a71085489cbf101866030ff86fe116a
parentb9e17917f51e5fc717fef1bebff1d84cfadd1a0a
Revert accidentally removed trait

Change-Id: I82283be89f3f155d7793d4c900927d81a60d5e95
tests/phpunit/maintenance/BenchmarkerTest.php