/** @var float[] Map of (DB master name => 1) */
protected $shutdownTouchDBs = [];
- /** @var integer Seconds to store positions */
+ /** @var int Seconds to store positions */
const POSITION_TTL = 60;
- /** @var integer Max time to wait for positions to appear */
+ /** @var int Max time to wait for positions to appear */
const POS_WAIT_TIMEOUT = 5;
/**
* @return array
*/
private static function mergePositions( $curValue, array $shutdownPositions ) {
- /** @var $curPositions DBMasterPos[] */
+ /** @var DBMasterPos[] $curPositions */
if ( $curValue === false ) {
$curPositions = $shutdownPositions;
} else {