Document diff/DifferenceEngine.php function

Change-Id: I999824d8ce569de93fe4c9a889edea582d07611c
This commit is contained in:
Yuri Astrakhan 2016-10-30 20:26:08 -04:00
parent 000a3e1581
commit 02015d0e63

View file

@ -882,6 +882,10 @@ class DifferenceEngine extends ContextSource {
return $result;
};
/**
* @param Status $status
* @throws FatalError
*/
$error = function( $status ) {
throw new FatalError( $status->getWikiText() );
};