mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-11-14 19:30:57 +00:00
ae8c68b051
Title::castFromPageReference() and similar methods can return null instead of Title when the parameter is null. Although that could not happen in this code, there is no way to tell that to Phan, so suppressions were required to avoid its warnings about possible nulls. Instead, since MW 1.41, we can just use Title::newFromPageReference(), which can't return null (and doesn't accept null as the parameter). See also Ida4da75953cf3bca372a40dc88022443109ca0cb in MediaWiki core. Change-Id: Ia3c415cdd68fe4b19869aa8eb8e816e707bb5ad6 |
||
---|---|---|
.. | ||
Engines | ||
Hooks | ||
ApiScribuntoConsole.php | ||
CodeEditorHooks.php | ||
Hooks.php | ||
Scribunto.php | ||
ScribuntoContent.php | ||
ScribuntoContentHandler.php | ||
ScribuntoEngineBase.php | ||
ScribuntoException.php | ||
ScribuntoModuleBase.php |