Manual:EditResultBuilder.php