Translations:Manual:GetLagTimes.php/9/en

Required?