1
0
mirror of https://github.com/danog/MadelineProto.git synced 2024-11-30 04:08:59 +01:00

Update psalm

This commit is contained in:
Daniil Gentili 2023-12-14 18:07:30 +01:00
parent 717902ec48
commit 7c88c3bea4
4 changed files with 24 additions and 4 deletions

2
docs

@ -1 +1 @@
Subproject commit 6bc1e49470eb0f4225494556033c94b3d08d1334 Subproject commit 7af70f725d57f4bddde5e1af32db5e00fec3a162

View File

@ -36,9 +36,6 @@ if (file_exists('vendor/autoload.php')) {
include 'madeline.php'; include 'madeline.php';
} }
class SecretHandler extends SimpleEventHandler
{
}
/** /**
* Combined multiaccount event handler class. * Combined multiaccount event handler class.
*/ */

View File

@ -1,5 +1,25 @@
<?xml version="1.0" encoding="UTF-8"?> <?xml version="1.0" encoding="UTF-8"?>
<files psalm-version="dev-master@a75d26a3d425d183da8bef37cfc14976c8d817d6"> <files psalm-version="dev-master@a75d26a3d425d183da8bef37cfc14976c8d817d6">
<file src="examples/bot.php">
<LessSpecificImplementedReturnType>
<code>int|string|array</code>
</LessSpecificImplementedReturnType>
<MissingFile>
<code><![CDATA[require_once 'madeline.php']]></code>
</MissingFile>
<PossiblyNullArrayAccess>
<code><![CDATA[$message->matches[1]]]></code>
</PossiblyNullArrayAccess>
<PossiblyNullPropertyFetch>
<code><![CDATA[$reply->media]]></code>
</PossiblyNullPropertyFetch>
<PossiblyNullReference>
<code>addReaction</code>
<code>delReaction</code>
<code>getDownloadLink</code>
<code>reply</code>
</PossiblyNullReference>
</file>
<file src="src/API.php"> <file src="src/API.php">
<ArgumentTypeCoercion> <ArgumentTypeCoercion>
<code>$settings</code> <code>$settings</code>
@ -371,6 +391,8 @@
</PossiblyNullArgument> </PossiblyNullArgument>
<PossiblyNullReference> <PossiblyNullReference>
<code>getDbPrefix</code> <code>getDbPrefix</code>
<code>rethrowInner</code>
<code>rethrowInner</code>
</PossiblyNullReference> </PossiblyNullReference>
<PropertyTypeCoercion> <PropertyTypeCoercion>
<code>self::$pluginCache</code> <code>self::$pluginCache</code>

View File

@ -13,6 +13,7 @@
> >
<projectFiles> <projectFiles>
<directory name="src" /> <directory name="src" />
<file name="examples/bot.php" />
<ignoreFiles> <ignoreFiles>
<directory name="vendor" /> <directory name="vendor" />
<file name="src/DocsBuilder.php" /> <file name="src/DocsBuilder.php" />