As US considers attacking Iran from Diego Garcia, will UK need to inform Mauritius in advance?

As the United Kingdom has ceded the Chagos Islands to Mauritius, analysts are divided on whether the terms of the treaty would require the UK to inform Mauritius in advance about any military action from the Diego Garcia base, which is on one of these islands.

As US considers attacking Iran from Diego Garcia, will UK need to inform Mauritius in advance?
As the United Kingdom has ceded the Chagos Islands to Mauritius, analysts are divided on whether the terms of the treaty would require the UK to inform Mauritius in advance about any military action from the Diego Garcia base, which is on one of these islands.