ILIAS  release_6 Revision v6.24-5-g0c8bfefb3b8
All Data Structures Namespaces Files Functions Variables Modules Pages
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 
5 namespace ILIAS\Setup;
6 
8 {
9  public function __construct($which)
10  {
11  return parent::__construct(
12  "PHP extension \"$which\" loaded",
13  function (Environment $env) use ($which) : bool {
14  return in_array($which, get_loaded_extensions());
15  },
16  "ILIAS 6 requires the PHP extension $which."
17  );
18  }
19 }
A condition that can&#39;t be met by ILIAS itself needs to be met by some external means.
An environment holds resources to be used in the setup process.
Definition: Environment.php:11
__construct(Container $dic, ilPlugin $plugin)