From 02015d0e63104d29adf81219a8221252cf3b3bb4 Mon Sep 17 00:00:00 2001 From: Yuri Astrakhan Date: Sun, 30 Oct 2016 20:26:08 -0400 Subject: [PATCH] Document diff/DifferenceEngine.php function Change-Id: I999824d8ce569de93fe4c9a889edea582d07611c --- includes/diff/DifferenceEngine.php | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/includes/diff/DifferenceEngine.php b/includes/diff/DifferenceEngine.php index 16e9a443ff..73408ab50b 100644 --- a/includes/diff/DifferenceEngine.php +++ b/includes/diff/DifferenceEngine.php @@ -882,6 +882,10 @@ class DifferenceEngine extends ContextSource { return $result; }; + /** + * @param Status $status + * @throws FatalError + */ $error = function( $status ) { throw new FatalError( $status->getWikiText() ); }; -- 2.20.1