MediaWiki  master
MergeableUpdate.php
Go to the documentation of this file.
1 <?php
2 
18 interface MergeableUpdate extends DeferrableUpdate {
24  function merge( MergeableUpdate $update );
25 }
Interface that deferrable updates can implement to signal that updates can be combined.
merge(MergeableUpdate $update)
Merge this update with $update.