Add psalm-mutation-free to ext-ds (#4425)

Browse Source

* Add psalm-mutation-free to ext-ds

* Update ext-ds.php

* Update stubs/ext-ds.php

Co-authored-by: Jáchym Toušek <enumag@gmail.com>

Co-authored-by: Matthew Brown <github@muglug.com>

...

This commit is contained in:

Jáchym Toušek 2020-10-30 00:55:10 +01:00 committed by Daniil Gentili

parent 7749682c71

commit 597b58d3a4

Signed by: danog

GPG Key ID: 8C1BE3B34B230CA7

1 changed files with 505 additions and 112 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Show Stats Download Patch File Download Diff File Expand all files Collapse all files

617

stubs/ext-ds.php

File diff suppressed because it is too large Load Diff