Merge branch '5.x' into default-set-baseline-value

vimeo · Feb 5, 2024 · 9ddcaab · 9ddcaab
2 parents 5993a46 + 4621705
commit 9ddcaab
Show file tree

Hide file tree

Showing 85 changed files with 2,007 additions and 1,432 deletions.
diff --git a/.github/workflows/pr-labels.yml b/.github/workflows/pr-labels.yml
@@ -1,4 +1,4 @@
-name: Pull Request Labels
+name: Pull Request Labels (to be added by maintainers)
 on:
   pull_request:
     types: [opened, reopened, labeled, unlabeled, synchronize]

diff --git a/composer.json b/composer.json
@@ -34,7 +34,7 @@
         "fidry/cpu-core-counter": "^0.4.1 || ^0.5.1 || ^1.0.0",
         "netresearch/jsonmapper": "^1.0 || ^2.0 || ^3.0 || ^4.0",
         "nikic/php-parser": "^4.16",
-        "sebastian/diff": "^4.0 || ^5.0",
+        "sebastian/diff": "^4.0 || ^5.0 || ^6.0",
         "spatie/array-to-xml": "^2.17.0 || ^3.0",
         "symfony/console": "^4.1.6 || ^5.0 || ^6.0 || ^7.0",
         "symfony/filesystem": "^5.4 || ^6.0 || ^7.0"
@@ -94,12 +94,6 @@
             "Psalm\\Tests\\": "tests/"
         }
     },
-    "repositories": [
-        {
-            "type": "path",
-            "url": "examples/plugins/composer-based/echo-checker"
-        }
-    ],
     "minimum-stability": "dev",
     "prefer-stable": true,
     "bin": [

diff --git a/config.xsd b/config.xsd
@@ -42,6 +42,7 @@
         <xs:attribute name="checkForThrowsInGlobalScope" type="xs:boolean" default="false" />
         <xs:attribute name="ensureArrayIntOffsetsExist" type="xs:boolean" default="false" />
         <xs:attribute name="ensureArrayStringOffsetsExist" type="xs:boolean" default="false" />
+        <xs:attribute name="ensureOverrideAttribute" type="xs:boolean" default="false" />
         <xs:attribute name="findUnusedCode" type="xs:boolean" default="false" />
         <xs:attribute name="findUnusedVariablesAndParams" type="xs:boolean" default="false" />
         <xs:attribute name="findUnusedPsalmSuppress" type="xs:boolean" default="false" />
@@ -283,6 +284,7 @@
             <xs:element name="InvalidNamedArgument" type="ArgumentIssueHandlerType" minOccurs="0" />
             <xs:element name="InvalidNullableReturnType" type="IssueHandlerType" minOccurs="0" />
             <xs:element name="InvalidOperand" type="IssueHandlerType" minOccurs="0" />
+            <xs:element name="InvalidOverride" type="IssueHandlerType" minOccurs="0" />
             <xs:element name="InvalidParamDefault" type="IssueHandlerType" minOccurs="0" />
             <xs:element name="InvalidParent" type="IssueHandlerType" minOccurs="0" />
             <xs:element name="InvalidPassByReference" type="IssueHandlerType" minOccurs="0" />
@@ -318,6 +320,7 @@
             <xs:element name="MissingDocblockType" type="IssueHandlerType" minOccurs="0" />
             <xs:element name="MissingFile" type="IssueHandlerType" minOccurs="0" />
             <xs:element name="MissingImmutableAnnotation" type="IssueHandlerType" minOccurs="0" />
+            <xs:element name="MissingOverrideAttribute" type="IssueHandlerType" minOccurs="0" />
             <xs:element name="MissingParamType" type="IssueHandlerType" minOccurs="0" />
             <xs:element name="MissingPropertyType" type="PropertyIssueHandlerType" minOccurs="0" />
             <xs:element name="MissingReturnType" type="IssueHandlerType" minOccurs="0" />

diff --git a/dictionaries/CallMap.php b/dictionaries/CallMap.php
@@ -1590,7 +1590,7 @@
 'DirectoryIterator::getPathInfo' => ['?SplFileInfo', 'class='=>'?class-string'],
 'DirectoryIterator::getPathname' => ['string'],
 'DirectoryIterator::getPerms' => ['int'],
-'DirectoryIterator::getRealPath' => ['string'],
+'DirectoryIterator::getRealPath' => ['non-falsy-string'],
 'DirectoryIterator::getSize' => ['int'],
 'DirectoryIterator::getType' => ['string'],
 'DirectoryIterator::isDir' => ['bool'],
@@ -2792,7 +2792,7 @@
 'file' => ['list<string>|false', 'filename'=>'string', 'flags='=>'int', 'context='=>'resource'],
 'file_exists' => ['bool', 'filename'=>'string'],
 'file_get_contents' => ['string|false', 'filename'=>'string', 'use_include_path='=>'bool', 'context='=>'?resource', 'offset='=>'int', 'length='=>'?int'],
-'file_put_contents' => ['int|false', 'filename'=>'string', 'data'=>'string|resource|array<string>', 'flags='=>'int', 'context='=>'resource'],
+'file_put_contents' => ['int<0, max>|false', 'filename'=>'string', 'data'=>'string|resource|array<string>', 'flags='=>'int', 'context='=>'resource'],
 'fileatime' => ['int|false', 'filename'=>'string'],
 'filectime' => ['int|false', 'filename'=>'string'],
 'filegroup' => ['int|false', 'filename'=>'string'],
@@ -2827,7 +2827,7 @@
 'FilesystemIterator::getPathInfo' => ['?SplFileInfo', 'class='=>'?class-string'],
 'FilesystemIterator::getPathname' => ['string'],
 'FilesystemIterator::getPerms' => ['int'],
-'FilesystemIterator::getRealPath' => ['string'],
+'FilesystemIterator::getRealPath' => ['non-falsy-string'],
 'FilesystemIterator::getSize' => ['int'],
 'FilesystemIterator::getType' => ['string'],
 'FilesystemIterator::isDir' => ['bool'],
@@ -3296,7 +3296,7 @@
 'get_resource_type' => ['string', 'resource'=>'resource'],
 'get_resources' => ['array<int,resource>', 'type='=>'?string'],
 'getallheaders' => ['array|false'],
-'getcwd' => ['string|false'],
+'getcwd' => ['non-falsy-string|false'],
 'getdate' => ['array{seconds: int<0, 59>, minutes: int<0, 59>, hours: int<0, 23>, mday: int<1, 31>, wday: int<0, 6>, mon: int<1, 12>, year: int, yday: int<0, 365>, weekday: "Monday"|"Tuesday"|"Wednesday"|"Thursday"|"Friday"|"Saturday"|"Sunday", month: "January"|"February"|"March"|"April"|"May"|"June"|"July"|"August"|"September"|"October"|"November"|"December", 0: int}', 'timestamp='=>'?int'],
 'getenv' => ['string|false', 'name'=>'string', 'local_only='=>'bool'],
 'getenv\'1' => ['array<string,string>'],
@@ -3343,7 +3343,7 @@
 'GlobIterator::getPathInfo' => ['?SplFileInfo', 'class='=>'?class-string'],
 'GlobIterator::getPathname' => ['string'],
 'GlobIterator::getPerms' => ['int'],
-'GlobIterator::getRealPath' => ['string|false'],
+'GlobIterator::getRealPath' => ['non-falsy-string|false'],
 'GlobIterator::getSize' => ['int'],
 'GlobIterator::getType' => ['string|false'],
 'GlobIterator::isDir' => ['bool'],
@@ -5700,10 +5700,10 @@
 'ini_restore' => ['void', 'option'=>'string'],
 'ini_parse_quantity' => ['int', 'shorthand'=>'non-empty-string'],
 'ini_set' => ['string|false', 'option'=>'string', 'value'=>'string|int|float|bool|null'],
-'inotify_add_watch' => ['int', 'inotify_instance'=>'resource', 'pathname'=>'string', 'mask'=>'int'],
+'inotify_add_watch' => ['int|false', 'inotify_instance'=>'resource', 'pathname'=>'string', 'mask'=>'int'],
 'inotify_init' => ['resource|false'],
 'inotify_queue_len' => ['int', 'inotify_instance'=>'resource'],
-'inotify_read' => ['array|false', 'inotify_instance'=>'resource'],
+'inotify_read' => ['array{wd: int, mask: int, cookie: int, name: string}[]|false', 'inotify_instance'=>'resource'],
 'inotify_rm_watch' => ['bool', 'inotify_instance'=>'resource', 'watch_descriptor'=>'int'],
 'intdiv' => ['int', 'num1'=>'int', 'num2'=>'int'],
 'interface_exists' => ['bool', 'interface'=>'string', 'autoload='=>'bool'],
@@ -9722,8 +9722,8 @@
 'readline_read_history' => ['bool', 'filename='=>'?string'],
 'readline_redisplay' => ['void'],
 'readline_write_history' => ['bool', 'filename='=>'?string'],
-'readlink' => ['string|false', 'path'=>'string'],
-'realpath' => ['string|false', 'path'=>'string'],
+'readlink' => ['non-falsy-string|false', 'path'=>'string'],
+'realpath' => ['non-falsy-string|false', 'path'=>'string'],
 'realpath_cache_get' => ['array'],
 'realpath_cache_size' => ['int'],
 'recode' => ['string', 'request'=>'string', 'string'=>'string'],
@@ -9811,7 +9811,7 @@
 'RecursiveDirectoryIterator::getPathInfo' => ['?SplFileInfo', 'class='=>'?class-string'],
 'RecursiveDirectoryIterator::getPathname' => ['string'],
 'RecursiveDirectoryIterator::getPerms' => ['int'],
-'RecursiveDirectoryIterator::getRealPath' => ['string'],
+'RecursiveDirectoryIterator::getRealPath' => ['non-falsy-string'],
 'RecursiveDirectoryIterator::getSize' => ['int'],
 'RecursiveDirectoryIterator::getSubPath' => ['string'],
 'RecursiveDirectoryIterator::getSubPathname' => ['string'],
@@ -12238,7 +12238,7 @@
 'SplFileInfo::getPathInfo' => ['SplFileInfo|null', 'class='=>'?class-string'],
 'SplFileInfo::getPathname' => ['string'],
 'SplFileInfo::getPerms' => ['int|false'],
-'SplFileInfo::getRealPath' => ['string|false'],
+'SplFileInfo::getRealPath' => ['non-falsy-string|false'],
 'SplFileInfo::getSize' => ['int|false'],
 'SplFileInfo::getType' => ['string|false'],
 'SplFileInfo::isDir' => ['bool'],
@@ -12288,7 +12288,7 @@
 'SplFileObject::getPathInfo' => ['SplFileInfo|null', 'class='=>'?class-string'],
 'SplFileObject::getPathname' => ['string'],
 'SplFileObject::getPerms' => ['int|false'],
-'SplFileObject::getRealPath' => ['false|string'],
+'SplFileObject::getRealPath' => ['false|non-falsy-string'],
 'SplFileObject::getSize' => ['int|false'],
 'SplFileObject::getType' => ['string|false'],
 'SplFileObject::hasChildren' => ['false'],
@@ -12475,7 +12475,7 @@
 'SplTempFileObject::getPathInfo' => ['SplFileInfo|null', 'class='=>'?class-string'],
 'SplTempFileObject::getPathname' => ['string'],
 'SplTempFileObject::getPerms' => ['int|false'],
-'SplTempFileObject::getRealPath' => ['false|string'],
+'SplTempFileObject::getRealPath' => ['false|non-falsy-string'],
 'SplTempFileObject::getSize' => ['int|false'],
 'SplTempFileObject::getType' => ['string|false'],
 'SplTempFileObject::hasChildren' => ['false'],
@@ -12690,8 +12690,8 @@
 'ssh2_sftp_chmod' => ['bool', 'sftp'=>'resource', 'filename'=>'string', 'mode'=>'int'],
 'ssh2_sftp_lstat' => ['array{0: int, 1: int, 2: int, 3: int, 4: int, 5: int, 6: int, 7: int, 8: int, 9: int, 10: int, 11: int, 12: int, dev: int, ino: int, mode: int, nlink: int, uid: int, gid: int, rdev: int, size: int, atime: int, mtime: int, ctime: int, blksize: int, blocks: int}|false', 'sftp'=>'resource', 'path'=>'string'],
 'ssh2_sftp_mkdir' => ['bool', 'sftp'=>'resource', 'dirname'=>'string', 'mode='=>'int', 'recursive='=>'bool'],
-'ssh2_sftp_readlink' => ['string|false', 'sftp'=>'resource', 'link'=>'string'],
-'ssh2_sftp_realpath' => ['string|false', 'sftp'=>'resource', 'filename'=>'string'],
+'ssh2_sftp_readlink' => ['non-falsy-string|false', 'sftp'=>'resource', 'link'=>'string'],
+'ssh2_sftp_realpath' => ['non-falsy-string|false', 'sftp'=>'resource', 'filename'=>'string'],
 'ssh2_sftp_rename' => ['bool', 'sftp'=>'resource', 'from'=>'string', 'to'=>'string'],
 'ssh2_sftp_rmdir' => ['bool', 'sftp'=>'resource', 'dirname'=>'string'],
 'ssh2_sftp_stat' => ['array{0: int, 1: int, 2: int, 3: int, 4: int, 5: int, 6: int, 7: int, 8: int, 9: int, 10: int, 11: int, 12: int, dev: int, ino: int, mode: int, nlink: int, uid: int, gid: int, rdev: int, size: int, atime: int, mtime: int, ctime: int, blksize: int, blocks: int}|false', 'sftp'=>'resource', 'path'=>'string'],

diff --git a/dictionaries/CallMap_historical.php b/dictionaries/CallMap_historical.php
@@ -877,7 +877,7 @@
     'DirectoryIterator::getPathInfo' => ['?SplFileInfo', 'class='=>'class-string'],
     'DirectoryIterator::getPathname' => ['string'],
     'DirectoryIterator::getPerms' => ['int'],
-    'DirectoryIterator::getRealPath' => ['string'],
+    'DirectoryIterator::getRealPath' => ['non-falsy-string'],
     'DirectoryIterator::getSize' => ['int'],
     'DirectoryIterator::getType' => ['string'],
     'DirectoryIterator::isDir' => ['bool'],
@@ -1507,7 +1507,7 @@
     'FilesystemIterator::getPathInfo' => ['?SplFileInfo', 'class='=>'class-string'],
     'FilesystemIterator::getPathname' => ['string'],
     'FilesystemIterator::getPerms' => ['int'],
-    'FilesystemIterator::getRealPath' => ['string'],
+    'FilesystemIterator::getRealPath' => ['non-falsy-string'],
     'FilesystemIterator::getSize' => ['int'],
     'FilesystemIterator::getType' => ['string'],
     'FilesystemIterator::isDir' => ['bool'],
@@ -1762,7 +1762,7 @@
     'GlobIterator::getPathInfo' => ['?SplFileInfo', 'class='=>'class-string'],
     'GlobIterator::getPathname' => ['string'],
     'GlobIterator::getPerms' => ['int'],
-    'GlobIterator::getRealPath' => ['string|false'],
+    'GlobIterator::getRealPath' => ['non-falsy-string|false'],
     'GlobIterator::getSize' => ['int'],
     'GlobIterator::getType' => ['string|false'],
     'GlobIterator::isDir' => ['bool'],
@@ -5155,7 +5155,7 @@
     'RecursiveDirectoryIterator::getPathInfo' => ['?SplFileInfo', 'class='=>'class-string'],
     'RecursiveDirectoryIterator::getPathname' => ['string'],
     'RecursiveDirectoryIterator::getPerms' => ['int'],
-    'RecursiveDirectoryIterator::getRealPath' => ['string'],
+    'RecursiveDirectoryIterator::getRealPath' => ['non-falsy-string'],
     'RecursiveDirectoryIterator::getSize' => ['int'],
     'RecursiveDirectoryIterator::getSubPath' => ['string'],
     'RecursiveDirectoryIterator::getSubPathname' => ['string'],
@@ -7481,7 +7481,7 @@
     'SplFileInfo::getPathInfo' => ['SplFileInfo|null', 'class='=>'class-string'],
     'SplFileInfo::getPathname' => ['string'],
     'SplFileInfo::getPerms' => ['int|false'],
-    'SplFileInfo::getRealPath' => ['string|false'],
+    'SplFileInfo::getRealPath' => ['non-falsy-string|false'],
     'SplFileInfo::getSize' => ['int|false'],
     'SplFileInfo::getType' => ['string|false'],
     'SplFileInfo::isDir' => ['bool'],
@@ -7532,7 +7532,7 @@
     'SplFileObject::getPathInfo' => ['SplFileInfo|null', 'class='=>'class-string'],
     'SplFileObject::getPathname' => ['string'],
     'SplFileObject::getPerms' => ['int|false'],
-    'SplFileObject::getRealPath' => ['false|string'],
+    'SplFileObject::getRealPath' => ['false|non-falsy-string'],
     'SplFileObject::getSize' => ['int|false'],
     'SplFileObject::getType' => ['string|false'],
     'SplFileObject::hasChildren' => ['false'],
@@ -7723,7 +7723,7 @@
     'SplTempFileObject::getPathInfo' => ['SplFileInfo|null', 'class='=>'class-string'],
     'SplTempFileObject::getPathname' => ['string'],
     'SplTempFileObject::getPerms' => ['int|false'],
-    'SplTempFileObject::getRealPath' => ['false|string'],
+    'SplTempFileObject::getRealPath' => ['false|non-falsy-string'],
     'SplTempFileObject::getSize' => ['int|false'],
     'SplTempFileObject::getType' => ['string|false'],
     'SplTempFileObject::hasChildren' => ['false'],
@@ -10417,7 +10417,7 @@
     'file' => ['list<string>|false', 'filename'=>'string', 'flags='=>'int', 'context='=>'resource'],
     'file_exists' => ['bool', 'filename'=>'string'],
     'file_get_contents' => ['string|false', 'filename'=>'string', 'use_include_path='=>'bool', 'context='=>'?resource', 'offset='=>'int', 'length='=>'int'],
-    'file_put_contents' => ['int|false', 'filename'=>'string', 'data'=>'string|resource|array<string>', 'flags='=>'int', 'context='=>'resource'],
+    'file_put_contents' => ['int<0, max>|false', 'filename'=>'string', 'data'=>'string|resource|array<string>', 'flags='=>'int', 'context='=>'resource'],
     'fileatime' => ['int|false', 'filename'=>'string'],
     'filectime' => ['int|false', 'filename'=>'string'],
     'filegroup' => ['int|false', 'filename'=>'string'],
@@ -10661,7 +10661,7 @@
     'get_resource_type' => ['string', 'resource'=>'resource'],
     'get_resources' => ['array<int,resource>', 'type='=>'string'],
     'getallheaders' => ['array|false'],
-    'getcwd' => ['string|false'],
+    'getcwd' => ['non-falsy-string|false'],
     'getdate' => ['array{seconds: int<0, 59>, minutes: int<0, 59>, hours: int<0, 23>, mday: int<1, 31>, wday: int<0, 6>, mon: int<1, 12>, year: int, yday: int<0, 365>, weekday: "Monday"|"Tuesday"|"Wednesday"|"Thursday"|"Friday"|"Saturday"|"Sunday", month: "January"|"February"|"March"|"April"|"May"|"June"|"July"|"August"|"September"|"October"|"November"|"December", 0: int}', 'timestamp='=>'int'],
     'getenv' => ['string|false', 'name'=>'string', 'local_only='=>'bool'],
     'gethostbyaddr' => ['string|false', 'ip'=>'string'],
@@ -11832,10 +11832,10 @@
     'ini_get_all' => ['array|false', 'extension='=>'?string', 'details='=>'bool'],
     'ini_restore' => ['void', 'option'=>'string'],
     'ini_set' => ['string|false', 'option'=>'string', 'value'=>'string'],
-    'inotify_add_watch' => ['int', 'inotify_instance'=>'resource', 'pathname'=>'string', 'mask'=>'int'],
+    'inotify_add_watch' => ['int|false', 'inotify_instance'=>'resource', 'pathname'=>'string', 'mask'=>'int'],
     'inotify_init' => ['resource|false'],
     'inotify_queue_len' => ['int', 'inotify_instance'=>'resource'],
-    'inotify_read' => ['array|false', 'inotify_instance'=>'resource'],
+    'inotify_read' => ['array{wd: int, mask: int, cookie: int, name: string}[]|false', 'inotify_instance'=>'resource'],
     'inotify_rm_watch' => ['bool', 'inotify_instance'=>'resource', 'watch_descriptor'=>'int'],
     'intdiv' => ['int', 'num1'=>'int', 'num2'=>'int'],
     'interface_exists' => ['bool', 'interface'=>'string', 'autoload='=>'bool'],
@@ -13718,8 +13718,8 @@
     'readline_read_history' => ['bool', 'filename='=>'string'],
     'readline_redisplay' => ['void'],
     'readline_write_history' => ['bool', 'filename='=>'string'],
-    'readlink' => ['string|false', 'path'=>'string'],
-    'realpath' => ['string|false', 'path'=>'string'],
+    'readlink' => ['non-falsy-string|false', 'path'=>'string'],
+    'realpath' => ['non-falsy-string|false', 'path'=>'string'],
     'realpath_cache_get' => ['array'],
     'realpath_cache_size' => ['int'],
     'recode' => ['string', 'request'=>'string', 'string'=>'string'],
@@ -14120,8 +14120,8 @@
     'ssh2_sftp_chmod' => ['bool', 'sftp'=>'resource', 'filename'=>'string', 'mode'=>'int'],
     'ssh2_sftp_lstat' => ['array{0: int, 1: int, 2: int, 3: int, 4: int, 5: int, 6: int, 7: int, 8: int, 9: int, 10: int, 11: int, 12: int, dev: int, ino: int, mode: int, nlink: int, uid: int, gid: int, rdev: int, size: int, atime: int, mtime: int, ctime: int, blksize: int, blocks: int}|false', 'sftp'=>'resource', 'path'=>'string'],
     'ssh2_sftp_mkdir' => ['bool', 'sftp'=>'resource', 'dirname'=>'string', 'mode='=>'int', 'recursive='=>'bool'],
-    'ssh2_sftp_readlink' => ['string|false', 'sftp'=>'resource', 'link'=>'string'],
-    'ssh2_sftp_realpath' => ['string|false', 'sftp'=>'resource', 'filename'=>'string'],
+    'ssh2_sftp_readlink' => ['non-falsy-string|false', 'sftp'=>'resource', 'link'=>'string'],
+    'ssh2_sftp_realpath' => ['non-falsy-string|false', 'sftp'=>'resource', 'filename'=>'string'],
     'ssh2_sftp_rename' => ['bool', 'sftp'=>'resource', 'from'=>'string', 'to'=>'string'],
     'ssh2_sftp_rmdir' => ['bool', 'sftp'=>'resource', 'dirname'=>'string'],
     'ssh2_sftp_stat' => ['array{0: int, 1: int, 2: int, 3: int, 4: int, 5: int, 6: int, 7: int, 8: int, 9: int, 10: int, 11: int, 12: int, dev: int, ino: int, mode: int, nlink: int, uid: int, gid: int, rdev: int, size: int, atime: int, mtime: int, ctime: int, blksize: int, blocks: int}|false', 'sftp'=>'resource', 'path'=>'string'],

diff --git a/dictionaries/ImpureFunctionsList.php b/dictionaries/ImpureFunctionsList.php
@@ -85,6 +85,7 @@
     'ob_end_clean' => true,
     'ob_get_clean' => true,
     'readfile' => true,
+    'readgzfile' => true,
     'printf' => true,
     'var_dump' => true,
     'phpinfo' => true,

diff --git a/dictionaries/PropertyMap.php b/dictionaries/PropertyMap.php
@@ -113,6 +113,7 @@
         'formatOutput' => 'bool',
         'implementation' => 'DOMImplementation',
         'lastElementChild' => 'DOMElement|null',
+        'ownerDocument' => 'null',
         'preserveWhiteSpace' => 'bool',
         'recover' => 'bool',
         'resolveExternals' => 'bool',
@@ -173,7 +174,7 @@
         'nodeName' => 'string',
         'nodeType' => 'int',
         'nodeValue' => 'string|null',
-        'ownerDocument' => 'DOMDocument|null',
+        'ownerDocument' => 'DOMDocument',
         'parentNode' => 'DOMNode|null',
         'prefix' => 'string',
         'previousSibling' => 'DOMNode|null',

diff --git a/docs/running_psalm/configuration.md b/docs/running_psalm/configuration.md
@@ -273,6 +273,14 @@ When `true`, Psalm will complain when referencing an explicit string offset on a
 ```
 When `true`, Psalm will complain when referencing an explicit integer offset on an array e.g. `$arr[7]` without a user first asserting that it exists (either via an `isset` check or via an object-like array). Defaults to `false`.
 
+#### ensureOverrideAttribute
+```xml
+<psalm
+  ensureOverrideAttribute="[bool]"
+>
+```
+When `true`, Psalm will report class and interface methods that override a method on a parent, but do not have an `Override` attribute. Defaults to `false`.
+
 #### phpVersion
 ```xml
 <psalm