Searched refs:HeadingCount (Results 1 – 1 of 1) sorted by path
18 protected $HeadingCount; // (array) heading counter variable in helper_plugin_numberedheadings 22 $this->HeadingCount = [ 1 => 0, 2 => 0, 3 => 0, 4 => 0, 5 => 0 ];76 if (!$this->HeadingCount) {80 $this->HeadingCount[$level] = isset($number)82 : ++$this->HeadingCount[$level];85 $this->HeadingCount[$i] = 0;107 $numbers = array_slice($this->HeadingCount, $offset, $tier);