+ /** @var int */
+ protected $startTime;
+ /** @var int */
+ protected $pageCountPart;
+ /** @var int */
+ protected $revCountPart;
+ /** @var int */
+ protected $maxCount;
+ /** @var int */
+ protected $timeOfCheckpoint;
+ /** @var ExportProgressFilter */
+ protected $egress;
+ /** @var string */
+ protected $buffer;
+ /** @var array|false */
+ protected $openElement;
+ /** @var bool */
+ protected $atStart;
+ /** @var string|null */
+ protected $thisRevModel;
+ /** @var string|null */
+ protected $thisRevFormat;
+ /** @var string */
+ protected $lastName;
+ /** @var string */
+ protected $state;
+