diff --git a/platform/util/resources/misc/registry.properties b/platform/util/resources/misc/registry.properties index 6987790de0a1..ac13d8cd9ffa 100644 --- a/platform/util/resources/misc/registry.properties +++ b/platform/util/resources/misc/registry.properties @@ -1493,6 +1493,8 @@ php.use.docker.compose.up=false php.use.docker.compose.up.description=Starts PHP run-configurations executed with docker-compose remote interpreter with 'up' command php.folding.max.descriptors=50000 php.folding.max.descriptors.description=Maximum count of folding elements in the PHP file +php.quality.tools.messages.limit= +php.quality.tools.messages.limit.description=Maximum count of quality tools messages per file ssh.use.openssh.config=true ssh.use.openssh.config.description=Use OpenSSH configuration files