sdwebserver/app/Config/Kint.php

66 lines
1.9 KiB
PHP
Raw Normal View History

2022-03-14 19:13:10 +01:00
<?php
namespace Config;
2024-04-07 22:17:30 +02:00
use Kint\Parser\ConstructablePluginInterface;
use Kint\Renderer\AbstractRenderer;
use Kint\Renderer\Rich\TabPluginInterface;
use Kint\Renderer\Rich\ValuePluginInterface;
2022-03-14 19:13:10 +01:00
/**
* --------------------------------------------------------------------------
* Kint
* --------------------------------------------------------------------------
*
* 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-07 22:17:30 +02:00
class Kint
2022-03-14 19:13:10 +01:00
{
/*
|--------------------------------------------------------------------------
| Global Settings
|--------------------------------------------------------------------------
*/
2024-04-07 22:17:30 +02:00
/**
* @var list<class-string<ConstructablePluginInterface>|ConstructablePluginInterface>|null
*/
2022-03-14 19:13:10 +01:00
public $plugins;
2024-04-07 22:17:30 +02:00
public int $maxDepth = 6;
public bool $displayCalledFrom = true;
public bool $expanded = false;
2022-03-14 19:13:10 +01:00
/*
|--------------------------------------------------------------------------
| RichRenderer Settings
|--------------------------------------------------------------------------
*/
2024-04-07 22:17:30 +02:00
public string $richTheme = 'aante-light.css';
public bool $richFolder = false;
public int $richSort = AbstractRenderer::SORT_FULL;
/**
* @var array<string, class-string<ValuePluginInterface>>|null
*/
2022-03-14 19:13:10 +01:00
public $richObjectPlugins;
2024-04-07 22:17:30 +02:00
/**
* @var array<string, class-string<TabPluginInterface>>|null
*/
2022-03-14 19:13:10 +01:00
public $richTabPlugins;
/*
|--------------------------------------------------------------------------
| CLI Settings
|--------------------------------------------------------------------------
*/
2024-04-07 22:17:30 +02:00
public bool $cliColors = true;
public bool $cliForceUTF8 = false;
public bool $cliDetectWidth = true;
public int $cliMinWidth = 40;
2022-03-14 19:13:10 +01:00
}