Manual:TitleFormatter.php