diff options
| author | Umherirrender <umherirrender_de.wp@web.de> | 2021-09-04 03:42:33 +0200 |
|---|---|---|
| committer | Umherirrender <umherirrender_de.wp@web.de> | 2021-09-07 17:29:03 +0200 |
| commit | 44fd53fee32664846811cc7ea4538d812c67d654 (patch) | |
| tree | 616614503665ddd6abfbaaf0e859712ab2fe6ca7 /includes/content | |
| parent | 07b499fbcf8f1590d70c8dbe38ab0513d6d19738 (diff) | |
| download | mediawikicore-44fd53fee32664846811cc7ea4538d812c67d654.tar.gz mediawikicore-44fd53fee32664846811cc7ea4538d812c67d654.zip | |
Using @return never documentation on always-throw-function
This helps phan to detect unreachable code and also impossible types
after the functions.
It helps phan to avoid false positives for array keys
when the keys are checked before
Bug: T240141
Change-Id: I895f70e82b3053a46cd44135b15437e6f82a07b2
Diffstat (limited to 'includes/content')
| -rw-r--r-- | includes/content/WikitextContent.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/includes/content/WikitextContent.php b/includes/content/WikitextContent.php index cf5db6750981..d419c683a1a8 100644 --- a/includes/content/WikitextContent.php +++ b/includes/content/WikitextContent.php @@ -350,6 +350,7 @@ class WikitextContent extends TextContent { * @throws MWException */ protected function getHtml() { + // @phan-suppress-previous-line PhanPluginNeverReturnMethod throw new MWException( "getHtml() not implemented for wikitext. " . "Use getParserOutput()->getText()." |