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);
}