Mauritius ضد Sri Lanka – النتيجة المباشرة