Passed
Push — bad-gateway-exception ( 993998...5b308d )
by MusikAnimal
04:11 queued 01:13
created
src/Controller/ArticleInfoController.php 1 patch
Spacing   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -264,7 +264,7 @@
 block discarded – undo
264 264
     ): JsonResponse {
265 265
         $this->recordApiUsage('page/prose');
266 266
         $this->setupArticleInfo($articleInfoRepo, $autoEditsHelper);
267
-        $this->addFlash('info', 'The algorithm used by this API has recently changed. ' .
267
+        $this->addFlash('info', 'The algorithm used by this API has recently changed. '.
268 268
             'See https://www.mediawiki.org/wiki/XTools/Page_History#Prose for details.');
269 269
         $ret = $this->articleInfo->getProseStats();
270 270
         if (null === $ret) {
Please login to merge, or discard this patch.