2020-08-04 11:25:22 +00:00
|
|
|
<?php
|
|
|
|
|
2021-06-08 09:52:11 +00:00
|
|
|
declare(strict_types=1);
|
|
|
|
|
2020-08-04 11:25:22 +00:00
|
|
|
namespace Config;
|
2020-05-27 18:46:16 +02:00
|
|
|
|
2024-01-01 22:54:59 +00:00
|
|
|
use Kint\Parser\ConstructablePluginInterface;
|
|
|
|
use Kint\Renderer\Rich\TabPluginInterface;
|
|
|
|
use Kint\Renderer\Rich\ValuePluginInterface;
|
2020-05-27 18:46:16 +02:00
|
|
|
|
2021-04-02 17:20:02 +00:00
|
|
|
/**
|
|
|
|
* --------------------------------------------------------------------------
|
|
|
|
* --------------------------------------------------------------------------
|
|
|
|
*
|
|
|
|
* We use Kint's `RichRenderer` and `CLIRenderer`. This area contains options
|
|
|
|
* that you can set to customize how Kint works for you.
|
|
|
|
*
|
|
|
|
* @see https://kint-php.github.io/kint/ for details on these settings.
|
|
|
|
*/
|
2024-04-26 09:26:22 +00:00
|
|
|
class Kint
|
2020-05-27 18:46:16 +02:00
|
|
|
{
|
2020-06-10 15:00:12 +00:00
|
|
|
/*
|
2021-05-19 16:35:13 +00:00
|
|
|
|--------------------------------------------------------------------------
|
|
|
|
| Global Settings
|
|
|
|
|--------------------------------------------------------------------------
|
|
|
|
*/
|
2020-05-27 18:46:16 +02:00
|
|
|
|
2021-05-14 17:59:35 +00:00
|
|
|
/**
|
2024-01-01 22:54:59 +00:00
|
|
|
* @var list<class-string<ConstructablePluginInterface>|ConstructablePluginInterface>|null
|
2021-05-14 17:59:35 +00:00
|
|
|
*/
|
2024-01-01 22:54:59 +00:00
|
|
|
public ?array $plugins = [];
|
2020-05-27 18:46:16 +02:00
|
|
|
|
2021-05-18 17:16:36 +00:00
|
|
|
public int $maxDepth = 6;
|
2020-05-27 18:46:16 +02:00
|
|
|
|
2021-05-18 17:16:36 +00:00
|
|
|
public bool $displayCalledFrom = true;
|
2020-05-27 18:46:16 +02:00
|
|
|
|
2021-05-18 17:16:36 +00:00
|
|
|
public bool $expanded = false;
|
2020-05-27 18:46:16 +02:00
|
|
|
|
2020-06-10 15:00:12 +00:00
|
|
|
/*
|
2021-05-06 14:00:48 +00:00
|
|
|
|--------------------------------------------------------------------------
|
|
|
|
| RichRenderer Settings
|
|
|
|
|--------------------------------------------------------------------------
|
|
|
|
*/
|
2020-05-27 18:46:16 +02:00
|
|
|
|
2021-05-18 17:16:36 +00:00
|
|
|
public string $richTheme = 'aante-light.css';
|
2020-05-27 18:46:16 +02:00
|
|
|
|
2021-05-18 17:16:36 +00:00
|
|
|
public bool $richFolder = false;
|
|
|
|
|
2021-05-14 17:59:35 +00:00
|
|
|
/**
|
2024-01-01 22:54:59 +00:00
|
|
|
* @var array<string, class-string<ValuePluginInterface>>|null
|
2021-05-14 17:59:35 +00:00
|
|
|
*/
|
2024-01-01 22:54:59 +00:00
|
|
|
public ?array $richObjectPlugins = [];
|
2020-05-27 18:46:16 +02:00
|
|
|
|
2021-05-14 17:59:35 +00:00
|
|
|
/**
|
2024-01-01 22:54:59 +00:00
|
|
|
* @var array<string, class-string<TabPluginInterface>>|null
|
2021-05-14 17:59:35 +00:00
|
|
|
*/
|
2024-01-01 22:54:59 +00:00
|
|
|
public ?array $richTabPlugins = [];
|
2020-05-27 18:46:16 +02:00
|
|
|
|
2020-06-10 15:00:12 +00:00
|
|
|
/*
|
2021-05-06 14:00:48 +00:00
|
|
|
|--------------------------------------------------------------------------
|
|
|
|
| CLI Settings
|
|
|
|
|--------------------------------------------------------------------------
|
|
|
|
*/
|
|
|
|
|
2021-05-18 17:16:36 +00:00
|
|
|
public bool $cliColors = true;
|
2020-05-27 18:46:16 +02:00
|
|
|
|
2021-05-18 17:16:36 +00:00
|
|
|
public bool $cliForceUTF8 = false;
|
2020-05-27 18:46:16 +02:00
|
|
|
|
2021-05-18 17:16:36 +00:00
|
|
|
public bool $cliDetectWidth = true;
|
2020-05-27 18:46:16 +02:00
|
|
|
|
2021-05-18 17:16:36 +00:00
|
|
|
public int $cliMinWidth = 40;
|
2020-05-27 18:46:16 +02:00
|
|
|
}
|