ILIAS  release_7 Revision v7.30-3-g800a261c036
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\Condition;
6 
7 use ILIAS\Setup;
8 
10 {
11  public function __construct($which)
12  {
13  $ilias_version = ILIAS_VERSION_NUMERIC;
14 
15  return parent::__construct(
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 }
const ILIAS_VERSION_NUMERIC
This file is part of ILIAS, a powerful learning management system published by ILIAS open source e-Le...
An environment holds resources to be used in the setup process.
Definition: Environment.php:11
__construct(Container $dic, ilPlugin $plugin)
A condition that can&#39;t be met by ILIAS itself needs to be met by some external means.