Translations:Manual:GlobalFunctions.php/7/en

wfRandom is used to populate $page-random.