Manual:GlobalIdGenerator.php