Environment.php

Go to the documentation of this file.

<?php
 
/* Copyright (c) 2019 Richard Klees <richard.klees@concepts-and-training.de> Extended GPL, see docs/LICENSE */
 
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.
    const RESOURCE_DATABASE = "resource_database";
    const RESOURCE_ADMIN_INTERACTION = "resource_admin_interaction";
    const RESOURCE_ACHIEVEMENT_TRACKER = "resource_achievement_tracker";
    const RESOURCE_ILIAS_INI = "resource_ilias_ini";
    const RESOURCE_CLIENT_INI = "resource_client_ini";
    const RESOURCE_SETTINGS_FACTORY = "resource_settings_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);
}