Follows-up
eb06fb858e8492453ddb66f9b813e.
The property is still in use, see
https://codesearch.wmflabs.org/core/?q=-%3Ecall%5Cb&i=nope&files=&repos=
and failures at
https://integration.wikimedia.org/ci/job/mediawiki-core-php72-phan-docker/5893/console.
Change-Id: Ic9e72c3ab57cef3dd16c64ce279875df10ba3a14
public $backend;
/** @var array */
public $resourcesToClose = [];
public $backend;
/** @var array */
public $resourcesToClose = [];
+ /** @var callable name that identifies the function called */
+ public $call;
/**
* Close all open file handles
/**
* Close all open file handles