Manual:EditResultBuilder.php

Builder class for the EditResult object . For internal use by PageUpdater only. Introduced in MW 1.35.