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 |