Jump to content

Manual:EditResultBuilder.php

From mediawiki.org

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