1
0
Fork 0

Fix phpdoc issue

pull/10985/head
Jordi Boggiano 2022-07-13 13:35:03 +02:00
parent 55fe12bd65
commit 37a788932d
No known key found for this signature in database
GPG Key ID: 7BBD42C429EC80BC
1 changed files with 1 additions and 1 deletions

View File

@ -492,7 +492,7 @@ class Factory
} }
/** /**
* @param bool $disablePlugins * @param bool|'local'|'global' $disablePlugins Whether plugins should not be loaded, can be set to local or global to only disable local/global plugins
* @param bool $disableScripts * @param bool $disableScripts
* @param bool $fullLoad * @param bool $fullLoad
* *