mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Math
synced 2024-09-23 10:21:31 +00:00
Merge "build: Updating mediawiki/mediawiki-phan-config to 0.14.0"
This commit is contained in:
commit
5831b9dd60
|
@ -2,6 +2,9 @@
|
||||||
|
|
||||||
$cfg = require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';
|
$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'] = array_merge(
|
||||||
$cfg['directory_list'],
|
$cfg['directory_list'],
|
||||||
[
|
[
|
||||||
|
|
|
@ -1,7 +1,7 @@
|
||||||
{
|
{
|
||||||
"require-dev": {
|
"require-dev": {
|
||||||
"mediawiki/mediawiki-codesniffer": "41.0.0",
|
"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",
|
"mediawiki/minus-x": "1.1.1",
|
||||||
"php-parallel-lint/php-console-highlighter": "1.0.0",
|
"php-parallel-lint/php-console-highlighter": "1.0.0",
|
||||||
"php-parallel-lint/php-parallel-lint": "1.3.2"
|
"php-parallel-lint/php-parallel-lint": "1.3.2"
|
||||||
|
|
|
@ -12,7 +12,7 @@
|
||||||
|
|
||||||
namespace MediaWiki\Extension\Math;
|
namespace MediaWiki\Extension\Math;
|
||||||
|
|
||||||
use Exception;
|
use LogicException;
|
||||||
use MediaWiki\Html\Html;
|
use MediaWiki\Html\Html;
|
||||||
|
|
||||||
/**
|
/**
|
||||||
|
@ -61,11 +61,11 @@ class MathSource extends MathRenderer {
|
||||||
}
|
}
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* @throws Exception always
|
* @throws LogicException always
|
||||||
* @return never
|
* @return never
|
||||||
*/
|
*/
|
||||||
protected function getMathTableName() {
|
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' );
|
||||||
}
|
}
|
||||||
|
|
||||||
/**
|
/**
|
||||||
|
|
Loading…
Reference in a new issue