2 // This file is part of Moodle - http://moodle.org/
4 // Moodle is free software: you can redistribute it and/or modify
5 // it under the terms of the GNU General Public License as published by
6 // the Free Software Foundation, either version 3 of the License, or
7 // (at your option) any later version.
9 // Moodle is distributed in the hope that it will be useful,
10 // but WITHOUT ANY WARRANTY; without even the implied warranty of
11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 // GNU General Public License for more details.
14 // You should have received a copy of the GNU General Public License
15 // along with Moodle. If not, see <http://www.gnu.org/licenses/>.
18 * Helper file for PhpStorm, and other IDEs, to provide better code completion.
21 * @copyright 2024 Andrew Lyons <andrew@nicols.co.uk>
22 * @license http://www.gnu.org/copyleft/gpl.html GNU GPL v3 or later
25 namespace PHPSTORM_META
;
27 // Assume that anything returned by \core\di::get('...') is an instance of the first argument.
28 override(\core\di
::get(0), map([
32 // Assume that anything returned by \Psr\Container\ContainerInterface::get('...') is an instance of the first argument.
33 override(\Psr\Container\ContainerInterface
::get(0), map([
37 // Assume that anything returned by \DI\Container::get('...') is an instance of the first argument.
38 override(\DI\Container
::get(0), map([