filebackend: change "profiler" parameter in FileBackend so it works again
authorAaron Schulz <aschulz@wikimedia.org>
Wed, 13 Mar 2019 18:14:19 +0000 (11:14 -0700)
committerKrinkle <krinklemail@gmail.com>
Thu, 14 Mar 2019 23:03:09 +0000 (23:03 +0000)
commitc25d8111bed4c07489537aa733366d60159cd606
tree9dc8a26089497481df46557f7960d8166794150d
parentb438db9e2c45fcfa923d8f0ae19cfab5cf583457
filebackend: change "profiler" parameter in FileBackend so it works again

The Profiler::profileIn and Profiler::profileOut methods are just stubs.
Use a callback to the Profile::scopedProfileIn method instead.

Change-Id: I7b493c145357994f61faebfbe3f65d38d2e6da42
includes/filebackend/FileBackendGroup.php
includes/libs/filebackend/FileBackend.php