From aad088158d3d6753a650248edfb97bbb37f60f7c Mon Sep 17 00:00:00 2001
From: libraryupgrader <tools.libraryupgrader@tools.wmflabs.org>
Date: Wed, 14 Feb 2024 00:00:33 +0000
Subject: [PATCH] build: Updating mediawiki/mediawiki-phan-config to 0.14.0

Change-Id: I7b9a7e20a5d177edfcba3c76a0d65228497e0d79
---
 .phan/config.php   | 3 +++
 composer.json      | 2 +-
 src/MathSource.php | 6 +++---
 3 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/.phan/config.php b/.phan/config.php
index 662bd1f31..89ad7658f 100644
--- a/.phan/config.php
+++ b/.phan/config.php
@@ -2,6 +2,9 @@
 
 $cfg = require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';
 
+// To migrate later
+$cfg['suppress_issue_types'][] = 'MediaWikiNoEmptyIfDefined';
+
 $cfg['directory_list'] = array_merge(
 	$cfg['directory_list'],
 	[
diff --git a/composer.json b/composer.json
index 44efd52bf..2119fdfa3 100644
--- a/composer.json
+++ b/composer.json
@@ -1,7 +1,7 @@
 {
 	"require-dev": {
 		"mediawiki/mediawiki-codesniffer": "41.0.0",
-		"mediawiki/mediawiki-phan-config": "0.12.1",
+		"mediawiki/mediawiki-phan-config": "0.14.0",
 		"mediawiki/minus-x": "1.1.1",
 		"php-parallel-lint/php-console-highlighter": "1.0.0",
 		"php-parallel-lint/php-parallel-lint": "1.3.2"
diff --git a/src/MathSource.php b/src/MathSource.php
index 25ec741ef..b8371742a 100644
--- a/src/MathSource.php
+++ b/src/MathSource.php
@@ -12,7 +12,7 @@
 
 namespace MediaWiki\Extension\Math;
 
-use Exception;
+use LogicException;
 use MediaWiki\Html\Html;
 
 /**
@@ -61,11 +61,11 @@ class MathSource extends MathRenderer {
 	}
 
 	/**
-	 * @throws Exception always
+	 * @throws LogicException always
 	 * @return never
 	 */
 	protected function getMathTableName() {
-		throw new Exception( 'in math source mode no database caching should happen' );
+		throw new LogicException( 'in math source mode no database caching should happen' );
 	}
 
 	/**