ILIAS  release_7 Revision v7.30-3-g800a261c036
PHPExtensionLoadedCondition.php
Go to the documentation of this file.
1<?php
2
3/* Copyright (c) 2019 Richard Klees <richard.klees@concepts-and-training.de> Extended GPL, see docs/LICENSE */
4
6
8
10{
11 public function __construct($which)
12 {
13 $ilias_version = ILIAS_VERSION_NUMERIC;
14
16 "PHP extension \"$which\" loaded",
17 function (Setup\Environment $env) use ($which) : bool {
18 return in_array($which, get_loaded_extensions());
19 },
20 "ILIAS $ilias_version requires the PHP extension $which."
21 );
22 }
23}
An exception for terminatinating execution or to throw for unit testing.
A condition that can't be met by ILIAS itself needs to be met by some external means.
const ILIAS_VERSION_NUMERIC
An environment holds resources to be used in the setup process.
Definition: Environment.php:12
__construct(Container $dic, ilPlugin $plugin)
@inheritDoc
This file is part of ILIAS, a powerful learning management system published by ILIAS open source e-Le...