2017-03-06 07:23:33 +00:00
|
|
|
<?php
|
|
|
|
declare(strict_types = 1);
|
|
|
|
|
|
|
|
namespace LanguageServer;
|
|
|
|
|
|
|
|
class LoggedTolerantDefinitionResolver extends TolerantDefinitionResolver
|
|
|
|
{
|
2017-03-28 20:53:53 +00:00
|
|
|
use LoggedDefinitionResolverTrait;
|
2017-03-06 07:23:33 +00:00
|
|
|
}
|