2020-08-04 11:25:22 +00:00
|
|
|
<?php
|
|
|
|
|
|
|
|
namespace Config;
|
2020-05-27 18:46:16 +02:00
|
|
|
|
|
|
|
use CodeIgniter\Config\BaseConfig;
|
|
|
|
use Kint\Renderer\Renderer;
|
|
|
|
|
2021-04-02 17:20:02 +00: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.
|
|
|
|
*/
|
2020-05-27 18:46:16 +02:00
|
|
|
class Kint extends BaseConfig
|
|
|
|
{
|
2020-06-10 15:00:12 +00:00
|
|
|
/*
|
2021-04-02 17:20:02 +00:00
|
|
|
|--------------------------------------------------------------------------
|
|
|
|
| Global Settings
|
|
|
|
|--------------------------------------------------------------------------
|
|
|
|
*/
|
2020-05-27 18:46:16 +02:00
|
|
|
|
2021-05-14 17:59:35 +00:00
|
|
|
/**
|
|
|
|
* @var string[]
|
|
|
|
*/
|
2021-05-18 17:16:36 +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;
|
|
|
|
|
|
|
|
public int $richSort = Renderer::SORT_FULL;
|
2020-05-27 18:46:16 +02:00
|
|
|
|
2021-05-14 17:59:35 +00:00
|
|
|
/**
|
|
|
|
* @var string[]
|
|
|
|
*/
|
2021-05-18 17:16:36 +00:00
|
|
|
public array $richObjectPlugins = [];
|
2020-05-27 18:46:16 +02:00
|
|
|
|
2021-05-14 17:59:35 +00:00
|
|
|
/**
|
|
|
|
* @var string[]
|
|
|
|
*/
|
2021-05-18 17:16:36 +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
|
|
|
}
|