Environment.php

Go to the documentation of this file.

<?php
 
declare(strict_types=1);
 
namespace ILIAS\Setup;
 
interface Environment
{
    // We define some resources that will definitely be requried. We allow for
    // new identifiers, though, to be open for extensions and the future.
    public const RESOURCE_DATABASE = "resource_database";
    public const RESOURCE_ADMIN_INTERACTION = "resource_admin_interaction";
    public const RESOURCE_ILIAS_INI = "resource_ilias_ini";
    public const RESOURCE_CLIENT_INI = "resource_client_ini";
    public const RESOURCE_SETTINGS_FACTORY = "resource_settings_factory";
    public const RESOURCE_CLIENT_ID = "resource_client_id";
    public const RESOURCE_PLUGIN_ADMIN = "resource_plugin_admin";
    public const RESOURCE_COMPONENT_REPOSITORY = "resource_component_repository";
    public const RESOURCE_COMPONENT_FACTORY = "resource_component_factory";
 
    public function getResource(string $id);
 
    public function withResource(string $id, $resource): Environment;
 
    public function withConfigFor(string $component, $config): Environment;
 
    public function getConfigFor(string $component);
    public function hasConfigFor(string $component): bool;
}