| 1 | <?php | ||
| 21 | class Index extends BaseIndex | ||
| 22 | { | ||
| 23 | private $originalName; | ||
| 24 | |||
| 25 | /** | ||
| 26 | * Returns the original name of the index if the index has been renamed for reindexing | ||
| 27 | * or realiasing purposes. | ||
| 28 | */ | ||
| 29 | public function getOriginalName(): string | ||
| 33 | |||
| 34 | /** | ||
| 35 | * Reassign index name. | ||
| 36 | * | ||
| 37 | * While it's technically a regular setter for name property, it's specifically named overrideName, but not setName | ||
| 38 | * since it's used for a very specific case and normally should not be used | ||
| 39 | */ | ||
| 40 | public function overrideName(string $name): void | ||
| 45 | } | ||
| 46 |