| 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 |