diff --git a/phpstan/stubs/public/ai/classes/aiactions/base.stub b/phpstan/stubs/public/ai/classes/aiactions/base.stub
new file mode 100644
index 00000000..2fdbc4b1
--- /dev/null
+++ b/phpstan/stubs/public/ai/classes/aiactions/base.stub
@@ -0,0 +1,6 @@
+<?php
+
+namespace core_ai\aiactions;
+
+abstract class base {
+}
diff --git a/phpstan/stubs/public/ai/classes/placement.stub b/phpstan/stubs/public/ai/classes/placement.stub
new file mode 100644
index 00000000..3e7b53ba
--- /dev/null
+++ b/phpstan/stubs/public/ai/classes/placement.stub
@@ -0,0 +1,27 @@
+<?php
+
+namespace core_ai;
+
+use core\context;
+use core_ai\aiactions\base;
+
+abstract class placement {
+    /**
+     * @return class-string<base>[]
+     */
+    abstract public static function get_action_list(): array;
+
+    /**
+     * @return array{'action': string}[]
+     */
+    public static function get_actions_available(context $context, bool $checkcontext = true): array {
+        return [];
+    }
+
+    /**
+     * @return array{'action': string}[]
+     */
+    public function get_sub_actions(string $classname): array {
+        return [];
+    }
+}
diff --git a/phpstan/stubs/public/backup/converter/moodle1/handlerlib.stub b/phpstan/stubs/public/backup/converter/moodle1/handlerlib.stub
new file mode 100644
index 00000000..564ab55f
--- /dev/null
+++ b/phpstan/stubs/public/backup/converter/moodle1/handlerlib.stub
@@ -0,0 +1,37 @@
+<?php
+
+abstract class moodle1_handler implements loggable {
+}
+
+abstract class moodle1_xml_handler extends moodle1_handler {
+    /** @var null|xml_writer */
+    protected $xmlwriter;
+
+    /**
+     * @phpstan-assert !null $this->xmlwriter
+     * @param string $filename
+     * @return void
+     */
+    protected function open_xml_writer($filename) {
+    }
+
+    /**
+     * @phpstan-assert null $this->xmlwriter
+     * @return void
+     */
+    protected function close_xml_writer() {
+    }
+}
+
+abstract class moodle1_plugin_handler extends moodle1_xml_handler {
+}
+
+abstract class moodle1_mod_handler extends moodle1_plugin_handler {
+    /**
+     * @param int $instance
+     * @param string $modname
+     * @return mixed
+     */
+    protected function get_cminfo($instance, $modname = null) {
+    }
+}
diff --git a/phpstan/stubs/public/backup/util/interfaces.stub b/phpstan/stubs/public/backup/util/interfaces.stub
new file mode 100644
index 00000000..5815fcad
--- /dev/null
+++ b/phpstan/stubs/public/backup/util/interfaces.stub
@@ -0,0 +1,4 @@
+<?php
+
+interface loggable {
+}
diff --git a/phpstan/stubs/public/backup/util/xml.stub b/phpstan/stubs/public/backup/util/xml.stub
new file mode 100644
index 00000000..b0dfce57
--- /dev/null
+++ b/phpstan/stubs/public/backup/util/xml.stub
@@ -0,0 +1,4 @@
+<?php
+
+class xml_writer {
+}
diff --git a/phpstan/stubs/public/cache/classes/cacheable_object_interface.stub b/phpstan/stubs/public/cache/classes/cacheable_object_interface.stub
new file mode 100644
index 00000000..9e2e8932
--- /dev/null
+++ b/phpstan/stubs/public/cache/classes/cacheable_object_interface.stub
@@ -0,0 +1,6 @@
+<?php
+
+namespace core_cache;
+
+interface cacheable_object_interface {
+}
diff --git a/phpstan/stubs/public/course/classes/category.stub b/phpstan/stubs/public/course/classes/category.stub
new file mode 100644
index 00000000..61e3c6cd
--- /dev/null
+++ b/phpstan/stubs/public/course/classes/category.stub
@@ -0,0 +1,40 @@
+<?php
+
+use core\output\renderable;
+use core_cache\cacheable_object_interface;
+use IteratorAggregate;
+use Throwable;
+
+use const IGNORE_MISSING;
+use const IGNORE_MULTIPLE;
+use const MUST_EXIST;
+
+/**
+ * @property-read int $id
+ * @property-read string $name
+ * @property-read string $idnumber
+ * @property-read string $description
+ * @property-read int $descriptionformat
+ * @property-read int $parent
+ * @property-read int $sortorder
+ * @property-read int $coursecount
+ * @property-read int $visible
+ * @property-read int $visibleold
+ * @property-read int $timemodified
+ * @property-read int $depth
+ * @property-read string $path
+ * @property-read string $theme
+ * @implements IteratorAggregate<string, mixed>
+ */
+class core_course_category implements cacheable_object_interface, IteratorAggregate, renderable {
+    /**
+     * @param int $id
+     * @param IGNORE_MISSING|IGNORE_MULTIPLE|MUST_EXIST $strictness
+     * @param bool $alwaysreturnhidden
+     * @param int|stdClass|null $user
+     * @return ($strictness is MUST_EXIST ? self : null|self)
+     * @throws moodle_exception&Throwable
+     */
+    public static function get($id, $strictness = MUST_EXIST, $alwaysreturnhidden = false, $user = null) {
+    }
+}
diff --git a/phpstan/stubs/public/course/classes/cm_info.stub b/phpstan/stubs/public/course/classes/cm_info.stub
new file mode 100644
index 00000000..73c16f04
--- /dev/null
+++ b/phpstan/stubs/public/course/classes/cm_info.stub
@@ -0,0 +1,62 @@
+<?php
+
+namespace core_course;
+
+use core\context\module;
+use core\url;
+use IteratorAggregate;
+
+/**
+ * @property-read int $id
+ * @property-read int $instance
+ * @property-read int $course
+ * @property-read string $idnumber
+ * @property-read int $added
+ * @property-read int $visible
+ * @property-read int $visibleoncoursepage
+ * @property-read int $visibleold
+ * @property-read int $groupmode
+ * @property-read int $groupingid
+ * @property-read bool $coursegroupmodeforce
+ * @property-read NOGROUPS|SEPARATEGROUPS|VISIBLEGROUPS $coursegroupmode
+ * @property-read NOGROUPS|SEPARATEGROUPS|VISIBLEGROUPS $effectivegroupmode
+ * @property-read int $indent
+ * @property-read COMPLETION_TRACKING_NONE|COMPLETION_TRACKING_MANUAL|COMPLETION_TRACKING_AUTOMATIC $completion
+ * @property-read mixed $completiongradeitemnumber
+ * @property-read 1|0 $completionview
+ * @property-read int $completionexpected
+ * @property-read string|null $availability
+ * @property-read 0|1 $showdescription
+ * @property-read string $icon
+ * @property-read string $iconcomponent
+ * @property-read string $modname
+ * @property-read int $module
+ * @property-read string $name Na
+ * @property-read int $sectionnum
+ * @property-read int $sectionid
+ * @property-read mixed[] $conditionscompletion
+ * @property-read mixed[] $conditionsgrade
+ * @property-read mixed[] $conditionsfield
+ * @property-read bool $available
+ * @property-read string $availableinfo
+ * @property-read bool $uservisible
+ * @property-read module $context
+ * @property-read string $modfullname
+ * @property-read string $modplural
+ * @property-read string $content
+ * @property-read url|null $url
+ * @property-read url|null $navigationurl
+ * @property-read string $extraclasses
+ * @property-read string $onclick
+ * @property-read mixed $customdata
+ * @property-read string $afterlink
+ * @property-read string $afterediticons
+ * @property-read bool $deletioninprogress
+ * @property-read bool $downloadcontent
+ * @property-read bool $lang
+ * @property-read int|null $enableaitools
+ * @property-read string|null $enabledaiactions
+ * @implements IteratorAggregate<string, mixed>
+ */
+class cm_info implements IteratorAggregate {
+}
diff --git a/phpstan/stubs/public/course/classes/modinfo.stub b/phpstan/stubs/public/course/classes/modinfo.stub
new file mode 100644
index 00000000..a399e13c
--- /dev/null
+++ b/phpstan/stubs/public/course/classes/modinfo.stub
@@ -0,0 +1,14 @@
+<?php
+
+namespace core_course;
+
+/**
+ * @property-read int $courseid
+ * @property-read int $userid
+ * @property-read array<int, int[]> $sections
+ * @property-read cm_info[] $cms
+ * @property-read array<string, array<int, cm_info>> $instances
+ * @property-read array<int, array<int, int>> $groups
+ */
+class modinfo {
+}
diff --git a/phpstan/stubs/public/course/moodleform_mod.stub b/phpstan/stubs/public/course/moodleform_mod.stub
new file mode 100644
index 00000000..dd701f9d
--- /dev/null
+++ b/phpstan/stubs/public/course/moodleform_mod.stub
@@ -0,0 +1,20 @@
+<?php
+
+use core\exception\coding_exception;
+use Throwable;
+
+abstract class moodleform_mod extends moodleform {
+    /**
+     * @param string|null $customlabel
+     * @return void
+     * @throws coding_exception&Throwable
+     */
+    protected function standard_intro_elements($customlabel = null) {
+    }
+
+    /**
+     * @return stdClass|null
+     */
+    public function get_data() {
+    }
+}
diff --git a/phpstan/stubs/public/enrol/_plugins.stub b/phpstan/stubs/public/enrol/_plugins.stub
new file mode 100644
index 00000000..5a8ebdd1
--- /dev/null
+++ b/phpstan/stubs/public/enrol/_plugins.stub
@@ -0,0 +1,40 @@
+<?php
+
+class enrol_category_plugin extends enrol_plugin {
+}
+
+class enrol_cohort_plugin extends enrol_plugin {
+}
+
+class enrol_database_plugin extends enrol_plugin {
+}
+
+class enrol_fee_plugin extends enrol_plugin {
+}
+
+class enrol_flatfile_plugin extends enrol_plugin {
+}
+
+class enrol_guest_plugin extends enrol_plugin {
+}
+
+class enrol_imsenterprise_plugin extends enrol_plugin {
+}
+
+class enrol_ldap_plugin extends enrol_plugin {
+}
+
+class enrol_lti_plugin extends enrol_plugin {
+}
+
+class enrol_manual_plugin extends enrol_plugin {
+}
+
+class enrol_meta_plugin extends enrol_plugin {
+}
+
+class enrol_paypal_plugin extends enrol_plugin {
+}
+
+class enrol_self_plugin extends enrol_plugin {
+}
diff --git a/phpstan/stubs/public/grade/lib.stub b/phpstan/stubs/public/grade/lib.stub
new file mode 100644
index 00000000..af1b8f9c
--- /dev/null
+++ b/phpstan/stubs/public/grade/lib.stub
@@ -0,0 +1,10 @@
+<?php
+
+class grade_structure {
+}
+
+/**
+ * @property grade_item[] $items
+ */
+class grade_tree extends grade_structure {
+}
diff --git a/phpstan/stubs/public/lib/accesslib.stub b/phpstan/stubs/public/lib/accesslib.stub
index 10d5f830..348b4ccd 100644
--- a/phpstan/stubs/public/lib/accesslib.stub
+++ b/phpstan/stubs/public/lib/accesslib.stub
@@ -1,6 +1,95 @@
 <?php
 
+use core\context;
+
 define('CAP_INHERIT', 0);
 define('CAP_ALLOW', 1);
 define('CAP_PREVENT', -1);
 define('CAP_PROHIBIT', -1000);
+
+/**
+ * @param string[] $capabilities
+ * @param context $context
+ * @param int|stdClass|null $user
+ * @param bool $doanything
+ * @return bool
+ */
+function has_any_capability(array $capabilities, context $context, $user = null, $doanything = true) {
+}
+
+/**
+ * @param string[] $capabilities
+ * @param context $context
+ * @param int|stdClass|null $user
+ * @param bool $doanything
+ * @return bool
+ */
+function has_all_capabilities(array $capabilities, context $context, $user = null, $doanything = true) {
+}
+
+/**
+ * @param string $capability
+ * @param context $context
+ * @param int $userid
+ * @param bool $doanything
+ * @param string $errormessage
+ * @param string $stringfile
+ * @return void|never
+ */
+function require_capability(
+    $capability,
+    context $context,
+    $userid = null,
+    $doanything = true,
+    $errormessage = 'nopermissions',
+    $stringfile = '',
+) {
+}
+
+/**
+ * @param string[] $capabilities
+ * @param context $context
+ * @param int $userid
+ * @param bool $doanything
+ * @param string $errormessage
+ * @param string $stringfile
+ * @return void|never
+ */
+function require_all_capabilities(
+    array $capabilities,
+    context $context,
+    $userid = null,
+    $doanything = true,
+    $errormessage = 'nopermissions',
+    $stringfile = '',
+): void {
+}
+
+/**
+ * @param context $context
+ * @param string|string[] $capability
+ * @param string $fields
+ * @param string $sort
+ * @param int $limitfrom
+ * @param int $limitnum
+ * @param int|string|(int|string)[] $groups
+ * @param int|string|(int|string)[] $exceptions
+ * @param bool $notuseddoanything
+ * @param bool $notusedview
+ * @param bool $useviewallgroups
+ * @return stdClass[]
+ */
+function get_users_by_capability(
+    context $context,
+    $capability,
+    $fields = '',
+    $sort = '',
+    $limitfrom = '',
+    $limitnum = '',
+    $groups = '',
+    $exceptions = '',
+    $notuseddoanything = null,
+    $notusedview = null,
+    $useviewallgroups = false,
+) {
+}
diff --git a/phpstan/stubs/public/lib/classes/event/base.stub b/phpstan/stubs/public/lib/classes/event/base.stub
new file mode 100644
index 00000000..7d975ed5
--- /dev/null
+++ b/phpstan/stubs/public/lib/classes/event/base.stub
@@ -0,0 +1,51 @@
+<?php
+
+namespace core\event;
+
+use core\exception\coding_exception;
+use IteratorAggregate;
+use Throwable;
+
+/**
+ * @phpstan-type event_level base::LEVEL_*
+ * @phpstan-type event_crud 'c'|'r'|'u'|'d'
+ * @property-read string $eventname
+ * @property-read string $component
+ * @property-read string $action
+ * @property-read string $target
+ * @property-read string $objecttable
+ * @property-read int $objectid
+ * @property-read string $crud
+ * @property-read event_level $edulevel
+ * @property-read int $contextid
+ * @property-read int $contextlevel
+ * @property-read int $contextinstanceid
+ * @property-read int $userid
+ * @property-read int $courseid
+ * @property-read int $relateduserid
+ * @property-read int $anonymous
+ * @property-read mixed|null $other
+ * @property-read int $timecreated
+ * @implements IteratorAggregate<string, mixed>
+ */
+abstract class base implements IteratorAggregate {
+    public const LEVEL_OTHER = 0;
+    public const LEVEL_TEACHING = 1;
+    public const LEVEL_PARTICIPATING = 2;
+
+    /**
+     * @param array{
+     *     objectid?: int|null,
+     *     context?: \core\context,
+     *     userid?: int,
+     *     courseid?: int|null,
+     *     relateduserid?: int|null,
+     *     anonymous?: bool|1|2,
+     *     other?: mixed|null,
+     * } $data
+     * @return static returns instance of new event
+     * @throws coding_exception&Throwable
+     */
+    final public static function create(?array $data = null) {
+    }
+}
diff --git a/phpstan/stubs/public/lib/classes/lang_string.stub b/phpstan/stubs/public/lib/classes/lang_string.stub
new file mode 100644
index 00000000..607d498b
--- /dev/null
+++ b/phpstan/stubs/public/lib/classes/lang_string.stub
@@ -0,0 +1,28 @@
+<?php
+
+namespace core;
+
+use core\exception\coding_exception;
+use Stringable;
+use Throwable;
+
+/**
+ * @phpstan-type get_string_a_value string|object|int|float|bool|Stringable
+ * @phpstan-type get_string_a get_string_a_value|array<non-empty-string, get_string_a_value>
+ */
+class lang_string {
+    /**
+     * @param string $identifier
+     * @param string|null $component
+     * @param get_string_a $a
+     * @param string|null $lang
+     * @throws coding_exception&Throwable
+     */
+    public function __construct(
+        string $identifier,
+        ?string $component = '',
+        mixed $a = null,
+        ?string $lang = null,
+    ) {
+    }
+}
diff --git a/phpstan/stubs/public/lib/classes/lock/lock.stub b/phpstan/stubs/public/lib/classes/lock/lock.stub
new file mode 100644
index 00000000..49790372
--- /dev/null
+++ b/phpstan/stubs/public/lib/classes/lock/lock.stub
@@ -0,0 +1,6 @@
+<?php
+
+namespace core\lock;
+
+class lock {
+}
diff --git a/phpstan/stubs/public/lib/classes/lock/lock_factory.stub b/phpstan/stubs/public/lib/classes/lock/lock_factory.stub
new file mode 100644
index 00000000..c5ecfb6e
--- /dev/null
+++ b/phpstan/stubs/public/lib/classes/lock/lock_factory.stub
@@ -0,0 +1,13 @@
+<?php
+
+namespace core\lock;
+
+interface lock_factory {
+    /**
+     * @param string $resource
+     * @param int $timeout
+     * @param int $maxlifetime
+     * @return \core\lock\lock|false
+     */
+    public function get_lock($resource, $timeout, $maxlifetime = 86400);
+}
diff --git a/phpstan/stubs/public/lib/classes/navigation/navigation_node.stub b/phpstan/stubs/public/lib/classes/navigation/navigation_node.stub
new file mode 100644
index 00000000..aa7a19bf
--- /dev/null
+++ b/phpstan/stubs/public/lib/classes/navigation/navigation_node.stub
@@ -0,0 +1,12 @@
+<?php
+
+namespace core\navigation;
+
+use core\lang_string;
+use core\output\renderable;
+
+/**
+ * @property string|lang_string $text
+ */
+class navigation_node implements renderable {
+}
diff --git a/phpstan/stubs/public/lib/classes/output/html_writer.stub b/phpstan/stubs/public/lib/classes/output/html_writer.stub
new file mode 100644
index 00000000..187069a4
--- /dev/null
+++ b/phpstan/stubs/public/lib/classes/output/html_writer.stub
@@ -0,0 +1,25 @@
+<?php
+
+namespace core\output;
+
+class html_writer {
+    /**
+     *
+     * @param string[] $options
+     * @param string $name
+     * @param string|string[] $selected
+     * @param string[]|false|string|null $nothing
+     * @param null|mixed[] $attributes
+     * @param string[] $disabled
+     * @return string
+     */
+    public static function select(
+        array $options,
+        $name,
+        $selected = '',
+        $nothing = ['' => 'choosedots'],
+        ?array $attributes = null,
+        array $disabled = [],
+    ): string {
+    }
+}
diff --git a/phpstan/stubs/public/lib/classes/output/progress_bar.stub b/phpstan/stubs/public/lib/classes/output/progress_bar.stub
new file mode 100644
index 00000000..7e807e14
--- /dev/null
+++ b/phpstan/stubs/public/lib/classes/output/progress_bar.stub
@@ -0,0 +1,6 @@
+<?php
+
+namespace core\output;
+
+class progress_bar implements renderable, templatable {
+}
diff --git a/phpstan/stubs/public/lib/classes/output/renderable.stub b/phpstan/stubs/public/lib/classes/output/renderable.stub
new file mode 100644
index 00000000..b4e7ca42
--- /dev/null
+++ b/phpstan/stubs/public/lib/classes/output/renderable.stub
@@ -0,0 +1,6 @@
+<?php
+
+namespace core\output;
+
+interface renderable {
+}
diff --git a/phpstan/stubs/public/lib/classes/output/stored_progress_bar.stub b/phpstan/stubs/public/lib/classes/output/stored_progress_bar.stub
new file mode 100644
index 00000000..70563de8
--- /dev/null
+++ b/phpstan/stubs/public/lib/classes/output/stored_progress_bar.stub
@@ -0,0 +1,6 @@
+<?php
+
+namespace core\output;
+
+class stored_progress_bar extends progress_bar {
+}
diff --git a/phpstan/stubs/public/lib/classes/output/templatable.stub b/phpstan/stubs/public/lib/classes/output/templatable.stub
index e15c1391..98926bc2 100644
--- a/phpstan/stubs/public/lib/classes/output/templatable.stub
+++ b/phpstan/stubs/public/lib/classes/output/templatable.stub
@@ -2,5 +2,11 @@
 
 namespace core\output;
 
+use stdClass;
+
 interface templatable {
+    /**
+     * @return stdClass|array<mixed>
+     */
+    public function export_for_template(renderer_base $output);
 }
diff --git a/phpstan/stubs/public/lib/classes/task/stored_progress_task_trait.stub b/phpstan/stubs/public/lib/classes/task/stored_progress_task_trait.stub
new file mode 100644
index 00000000..966eddd0
--- /dev/null
+++ b/phpstan/stubs/public/lib/classes/task/stored_progress_task_trait.stub
@@ -0,0 +1,16 @@
+<?php
+
+namespace core\task;
+
+use core\output\stored_progress_bar;
+
+trait stored_progress_task_trait {
+    /** @var ?stored_progress_bar $progress */
+    protected $progress = null;
+
+    /**
+     * @phpstan-assert !null $this->progress
+     */
+    protected function start_stored_progress(): void {
+    }
+}
diff --git a/phpstan/stubs/public/lib/classes/text.stub b/phpstan/stubs/public/lib/classes/text.stub
new file mode 100644
index 00000000..3814c7af
--- /dev/null
+++ b/phpstan/stubs/public/lib/classes/text.stub
@@ -0,0 +1,12 @@
+<?php
+
+class core_text {
+    /**
+     * @param string $text
+     * @param string $fromCS
+     * @param string $toCS
+     * @return string|false
+     */
+    public static function convert($text, $fromCS, $toCS = 'utf-8') {
+    }
+}
diff --git a/phpstan/stubs/public/lib/completionlib.stub b/phpstan/stubs/public/lib/completionlib.stub
new file mode 100644
index 00000000..0a5d6de8
--- /dev/null
+++ b/phpstan/stubs/public/lib/completionlib.stub
@@ -0,0 +1,27 @@
+<?php
+
+use core_course\cm_info;
+
+define('COMPLETION_TRACKING_NONE', 0);
+define('COMPLETION_TRACKING_MANUAL', 1);
+define('COMPLETION_TRACKING_AUTOMATIC', 2);
+
+class completion_info {
+    /**
+     * @param stdClass|cm_info $cm Activity; only required field is ->id
+     * @param bool $wholecourse
+     * @param int $userid
+     * @param mixed $unused
+     * @return stdClass
+     */
+    public function get_data($cm, $wholecourse = false, $userid = 0, $unused = null) {
+    }
+
+    /**
+     * @param string $error
+     * @return never
+     * @throws moodle_exception&Throwable
+     */
+    public function internal_systemerror($error) {
+    }
+}
diff --git a/phpstan/stubs/public/lib/datalib.stub b/phpstan/stubs/public/lib/datalib.stub
new file mode 100644
index 00000000..1cac4f0b
--- /dev/null
+++ b/phpstan/stubs/public/lib/datalib.stub
@@ -0,0 +1,53 @@
+<?php
+
+/**
+ * @param bool $get
+ * @param string $search
+ * @param bool $confirmed
+ * @param int[] $exceptions
+ * @param string $sort
+ * @param string $firstinitial
+ * @param string $lastinitial
+ * @param string $page
+ * @param string $recordsperpage
+ * @param string $fields
+ * @param string $extraselect
+ * @param mixed[]|null $extraparams
+ * @return ($get is true ? stdClass[] : int)
+ */
+function get_users(
+    $get = true,
+    $search = '',
+    $confirmed = false,
+    ?array $exceptions = null,
+    $sort = 'firstname ASC',
+    $firstinitial = '',
+    $lastinitial = '',
+    $page = '',
+    $recordsperpage = '',
+    $fields = '*',
+    $extraselect = '',
+    ?array $extraparams = null,
+) {
+}
+
+/**
+ * @param string $modulename
+ * @param array<int, int|stdClass> $courses
+ * @param int|null $userid
+ * @param int $includeinvisible
+ * @return stdClass[]
+ */
+function get_all_instances_in_courses($modulename, $courses, $userid = null, $includeinvisible = false) {
+}
+
+/**
+ * @param string $modulename
+ * @param int|stdClass $course
+ * @param int $userid
+ * @param int $includeinvisible
+ * @return stdClass[]
+ */
+function get_all_instances_in_course($modulename, $course, $userid = null, $includeinvisible = false) {
+    return get_all_instances_in_courses($modulename, [$course->id => $course], $userid, $includeinvisible);
+}
diff --git a/phpstan/stubs/public/lib/editor/tiny/classes/editor.stub b/phpstan/stubs/public/lib/editor/tiny/classes/editor.stub
new file mode 100644
index 00000000..00c7c481
--- /dev/null
+++ b/phpstan/stubs/public/lib/editor/tiny/classes/editor.stub
@@ -0,0 +1,6 @@
+<?php
+
+namespace editor_tiny;
+
+class editor extends \texteditor {
+}
diff --git a/phpstan/stubs/public/lib/editor/tiny/classes/plugin_with_configuration.stub b/phpstan/stubs/public/lib/editor/tiny/classes/plugin_with_configuration.stub
new file mode 100644
index 00000000..aa96529e
--- /dev/null
+++ b/phpstan/stubs/public/lib/editor/tiny/classes/plugin_with_configuration.stub
@@ -0,0 +1,21 @@
+<?php
+
+namespace editor_tiny;
+
+use core\context;
+
+interface plugin_with_configuration {
+    /**
+     * @param context $context
+     * @param array<string, mixed> $options
+     * @param array<string, mixed> $fpoptions
+     * @param editor $editor
+     * @return array<mixed>
+     */
+    public static function get_plugin_configuration_for_context(
+        context $context,
+        array $options,
+        array $fpoptions,
+        ?editor $editor = null,
+    ): array;
+}
diff --git a/phpstan/stubs/public/lib/editorlib.stub b/phpstan/stubs/public/lib/editorlib.stub
new file mode 100644
index 00000000..0ec62085
--- /dev/null
+++ b/phpstan/stubs/public/lib/editorlib.stub
@@ -0,0 +1,4 @@
+<?php
+
+abstract class texteditor {
+}
diff --git a/phpstan/stubs/public/lib/enrollib.stub b/phpstan/stubs/public/lib/enrollib.stub
new file mode 100644
index 00000000..dc71ad7f
--- /dev/null
+++ b/phpstan/stubs/public/lib/enrollib.stub
@@ -0,0 +1,26 @@
+<?php
+
+/**
+ * @param string $name
+ * @return (
+ *     $name is 'category'      ? enrol_category_plugin :
+ *     $name is 'cohort'        ? enrol_cohort_plugin :
+ *     $name is 'database'      ? enrol_database_plugin :
+ *     $name is 'fee'           ? enrol_fee_plugin :
+ *     $name is 'flatfile'      ? enrol_flatfile_plugin :
+ *     $name is 'guest'         ? enrol_guest_plugin :
+ *     $name is 'imsenterprise' ? enrol_imsenterprise_plugin :
+ *     $name is 'ldap'          ? enrol_ldap_plugin :
+ *     $name is 'lti'           ? enrol_lti_plugin :
+ *     $name is 'manual'        ? enrol_manual_plugin :
+ *     $name is 'meta'          ? enrol_meta_plugin :
+ *     $name is 'paypal'        ? enrol_paypal_plugin :
+ *     $name is 'self'          ? enrol_self_plugin :
+ *     enrol_plugin|null
+ * )
+ */
+function enrol_get_plugin($name) {
+}
+
+abstract class enrol_plugin {
+}
diff --git a/phpstan/stubs/public/lib/filestorage/file_storage.stub b/phpstan/stubs/public/lib/filestorage/file_storage.stub
index ce551b78..2bda2a7c 100644
--- a/phpstan/stubs/public/lib/filestorage/file_storage.stub
+++ b/phpstan/stubs/public/lib/filestorage/file_storage.stub
@@ -3,10 +3,53 @@
 use stored_file;
 
 class file_storage {
+    /**
+     * @param int $fileid
+     * @return stored_file|false
+     */
+    public function get_file_by_id($fileid) {
+    }
+
     /**
      * @param string $pathnamehash
      * @return stored_file|false
      */
     public function get_file_by_hash($pathnamehash) {
     }
+
+    /**
+     * @param int $contextid
+     * @param string $component
+     * @param string $filearea
+     * @param int $itemid
+     * @param string $filepath
+     * @param string $filename
+     * @return stored_file|false
+     */
+    public function get_file($contextid, $component, $filearea, $itemid, $filepath, $filename) {
+    }
+
+    /**
+     * @param int $contextid
+     * @param string $component
+     * @param string $filearea
+     * @param int $itemid
+     * @param int $filepath
+     * @param bool $recursive
+     * @param bool $includedirs
+     * @param string $sort
+     * @return array<string, stored_file>
+     */
+    public function get_directory_files($contextid, $component, $filearea, $itemid, $filepath, $recursive = false, $includedirs = true, $sort = "filepath, filename") {
+    }
+
+    /**
+     * @param int $contextid context ID
+     * @param string $component component
+     * @param string|false $filearea
+     * @param int|false $itemid
+     * @return true
+     */
+    public function delete_area_files($contextid, $component = false, $filearea = false, $itemid = false) {
+    }
 }
diff --git a/phpstan/stubs/public/lib/filestorage/stored_file.stub b/phpstan/stubs/public/lib/filestorage/stored_file.stub
index d06878e1..e7168b6c 100644
--- a/phpstan/stubs/public/lib/filestorage/stored_file.stub
+++ b/phpstan/stubs/public/lib/filestorage/stored_file.stub
@@ -1,4 +1,18 @@
 <?php
 
 class stored_file {
+    /**
+     * @return true
+     * @throws Exception
+     */
+    public function delete() {
+    }
+
+    /**
+     * @param string $dir
+     * @param string $fileprefix
+     * @return string|false
+     */
+    public function copy_content_to_temp($dir = 'files', $fileprefix = 'tempup_') {
+    }
 }
diff --git a/phpstan/stubs/public/lib/formslib.stub b/phpstan/stubs/public/lib/formslib.stub
index 97f9d647..15944957 100644
--- a/phpstan/stubs/public/lib/formslib.stub
+++ b/phpstan/stubs/public/lib/formslib.stub
@@ -1,4 +1,93 @@
 <?php
 
+use core\url;
+
+abstract class moodleform {
+    /**
+     * @param string|url|null $action
+     * @param mixed $customdata
+     * @param 'get'|'post' $method
+     * @param string $target
+     * @param string|array<string, mixed>|null $attributes
+     * @param bool $editable
+     * @param array<mixed> $ajaxformdata
+     */
+    public function __construct(
+        $action = null,
+        $customdata = null,
+        $method = 'post',
+        $target = '',
+        $attributes = null,
+        $editable = true,
+        $ajaxformdata = null,
+    ) {
+    }
+
+    /**
+     * @param string $elname
+     * @return string|false
+     */
+    public function save_temp_file($elname) {
+    }
+
+    /**
+     * @param string $elname
+     * @return stored_file[]|false|null
+     */
+    protected function get_draft_files($elname) {
+    }
+
+    /**
+     * @param string $elname
+     * @param int $newcontextid
+     * @param string $newcomponent
+     * @param string $newfilearea
+     * @param int $newitemid
+     * @param string $newfilepath
+     * @param string $newfilename
+     * @param bool $overwrite
+     * @param int $newuserid
+     * @return stored_file|false
+     */
+    public function save_stored_file(
+        $elname,
+        $newcontextid,
+        $newcomponent,
+        $newfilearea,
+        $newitemid,
+        $newfilepath = '/',
+        $newfilename = null,
+        $overwrite = false,
+        $newuserid = null,
+    ) {
+    }
+
+    /**
+     * @param string $elname
+     * @return string|false
+     */
+    public function get_file_content($elname) {
+    }
+
+    /**
+     * @return void
+     */
+    abstract protected function definition();
+
+    /**
+     * @return void
+     */
+    public function definition_after_data() {
+    }
+
+    /**
+     * @param array<string, mixed> $data
+     * @param array<string, string> $files
+     * @return array<string, string>
+     */
+    public function validation($data, $files) {
+    }
+}
+
 class MoodleQuickForm extends HTML_QuickForm_DHTMLRulesTableless {
 }
diff --git a/phpstan/stubs/public/lib/grade/constants.stub b/phpstan/stubs/public/lib/grade/constants.stub
new file mode 100644
index 00000000..44be05d2
--- /dev/null
+++ b/phpstan/stubs/public/lib/grade/constants.stub
@@ -0,0 +1,6 @@
+<?php
+
+define('GRADE_UPDATE_OK', 0);
+define('GRADE_UPDATE_FAILED', 1);
+define('GRADE_UPDATE_MULTIPLE', 2);
+define('GRADE_UPDATE_ITEM_LOCKED', 4);
diff --git a/phpstan/stubs/public/lib/grade/grade_grade.stub b/phpstan/stubs/public/lib/grade/grade_grade.stub
new file mode 100644
index 00000000..1f9e1976
--- /dev/null
+++ b/phpstan/stubs/public/lib/grade/grade_grade.stub
@@ -0,0 +1,12 @@
+<?php
+
+class grade_grade extends grade_object {
+    /**
+     * @param grade_item $grade_item
+     * @param int[] $userids
+     * @param bool $include_missing
+     * @return array<int, grade_grade>
+     */
+    public static function fetch_users_grades($grade_item, $userids, $include_missing = true) {
+    }
+}
diff --git a/phpstan/stubs/public/lib/grade/grade_item.stub b/phpstan/stubs/public/lib/grade/grade_item.stub
new file mode 100644
index 00000000..24d9fd76
--- /dev/null
+++ b/phpstan/stubs/public/lib/grade/grade_item.stub
@@ -0,0 +1,25 @@
+<?php
+
+class grade_item extends grade_object {
+    /**
+     * @param string $source
+     * @param bool $isbulkupdate
+     * @return true
+     */
+    public function update($source = null, $isbulkupdate = false) {
+    }
+
+    /**
+     * @param array<string, mixed> $params
+     * @return grade_item|false
+     */
+    public static function fetch($params) {
+    }
+
+    /**
+     * @param array<string, mixed> $params
+     * @return grade_item[]|false
+     */
+    public static function fetch_all($params) {
+    }
+}
diff --git a/phpstan/stubs/public/lib/grade/grade_object.stub b/phpstan/stubs/public/lib/grade/grade_object.stub
new file mode 100644
index 00000000..2e230ea0
--- /dev/null
+++ b/phpstan/stubs/public/lib/grade/grade_object.stub
@@ -0,0 +1,4 @@
+<?php
+
+abstract class grade_object {
+}
diff --git a/phpstan/stubs/public/lib/gradelib.stub b/phpstan/stubs/public/lib/gradelib.stub
new file mode 100644
index 00000000..c6a43115
--- /dev/null
+++ b/phpstan/stubs/public/lib/gradelib.stub
@@ -0,0 +1,26 @@
+<?php
+
+/**
+ * @param string $source
+ * @param int $courseid
+ * @param string $itemtype
+ * @param string|null $itemmodule
+ * @param int $iteminstance
+ * @param int $itemnumber
+ * @param mixed $grades
+ * @param mixed $itemdetails
+ * @param bool $isbulkupdate
+ * @return GRADE_UPDATE_OK|GRADE_UPDATE_FAILED|GRADE_UPDATE_MULTIPLE|GRADE_UPDATE_ITEM_LOCKED
+ */
+function grade_update(
+    $source,
+    $courseid,
+    $itemtype,
+    $itemmodule,
+    $iteminstance,
+    $itemnumber,
+    $grades = null,
+    $itemdetails = null,
+    $isbulkupdate = false,
+) {
+}
diff --git a/phpstan/stubs/public/lib/grouplib.stub b/phpstan/stubs/public/lib/grouplib.stub
new file mode 100644
index 00000000..0bf6688b
--- /dev/null
+++ b/phpstan/stubs/public/lib/grouplib.stub
@@ -0,0 +1,24 @@
+<?php
+
+use core_course\cm_info;
+
+define('NOGROUPS', 0);
+define('SEPARATEGROUPS', 1);
+define('VISIBLEGROUPS', 2);
+
+/**
+ * @param int $groupid
+ * @param string $fields
+ * @param string $sort
+ * @return stdClass[]
+ */
+function groups_get_members($groupid, $fields = 'u.*', $sort = 'lastname ASC') {
+}
+
+/**
+ * @param cm_info|stdClass $cm
+ * @param stdClass|null $course
+ * @return NOGROUPS|SEPARATEGROUPS|VISIBLEGROUPS
+ */
+function groups_get_activity_groupmode($cm, $course = null) {
+}
diff --git a/phpstan/stubs/public/lib/modinfolib.stub b/phpstan/stubs/public/lib/modinfolib.stub
new file mode 100644
index 00000000..7b2ee9fb
--- /dev/null
+++ b/phpstan/stubs/public/lib/modinfolib.stub
@@ -0,0 +1,26 @@
+<?php
+
+use core\exception\moodle_exception;
+use core_course\cm_info;
+use Throwable;
+
+/**
+ * @param int|stdClass $courseorid
+ * @param int $userid
+ * @param bool $resetonly
+ * @return ($resetonly is false ? \core_course\modinfo : null)
+ * @throws moodle_exception&Throwable
+ */
+function get_fast_modinfo($courseorid, $userid = 0, $resetonly = false) {
+}
+
+/**
+ * @param stdClass|int $cmorid
+ * @param string $modulename
+ * @param stdClass|int $courseorid
+ * @param int $userid
+ * @return array{stdClass, cm_info}
+ * @throws moodle_exception&Throwable
+ */
+function get_course_and_cm_from_cmid($cmorid, $modulename = '', $courseorid = 0, $userid = 0) {
+}
diff --git a/phpstan/stubs/public/lib/moodlelib.stub b/phpstan/stubs/public/lib/moodlelib.stub
index 27f00ab7..0ffd0941 100644
--- a/phpstan/stubs/public/lib/moodlelib.stub
+++ b/phpstan/stubs/public/lib/moodlelib.stub
@@ -1,5 +1,8 @@
 <?php
 
+use core\lang_string;
+use Throwable;
+
 // Only params not marked as deprecated will be typed.
 define('PARAM_ALPHA', 'alpha');
 define('PARAM_ALPHAEXT', 'alphaext');
@@ -82,7 +85,7 @@ define('PARAM_PLUGIN', 'plugin');
  *     $type is PARAM_PLUGIN            ? string :
  *     mixed
  * )
- * @throws coding_exception&\Throwable
+ * @throws coding_exception&Throwable
  */
 function required_param($parname, $type) {
 }
@@ -130,7 +133,7 @@ function required_param($parname, $type) {
  *     $type is PARAM_PLUGIN            ? string :
  *     mixed
  * )[]
- * @throws coding_exception&\Throwable
+ * @throws coding_exception&Throwable
  */
 function required_param_array($parname, $type) {
 }
@@ -180,7 +183,7 @@ function required_param_array($parname, $type) {
  *     $type is PARAM_PLUGIN            ? string :
  *     mixed
  * )
- * @throws coding_exception&\Throwable
+ * @throws coding_exception&Throwable
  */
 function optional_param($parname, $default, $type) {
 }
@@ -230,11 +233,108 @@ function optional_param($parname, $default, $type) {
  *     $type is PARAM_PLUGIN            ? string :
  *     mixed
  * )[]
- * @throws coding_exception&\Throwable
+ * @throws coding_exception&Throwable
  */
 function optional_param_array($parname, $default, $type) {
 }
 
+/**
+ * @param array<mixed>|null $param the variable array we are cleaning
+ * @param PARAM_ALPHA|PARAM_ALPHAEXT|PARAM_ALPHANUM|PARAM_ALPHANUMEXT|PARAM_AUTH|PARAM_BASE64|PARAM_BOOL|PARAM_CAPABILITY|PARAM_CLEANHTML|PARAM_EMAIL|PARAM_FILE|PARAM_FLOAT|PARAM_LOCALISEDFLOAT|PARAM_HOST|PARAM_INT|PARAM_LANG|PARAM_LOCALURL|PARAM_NOTAGS|PARAM_PATH|PARAM_PEM|PARAM_PERMISSION|PARAM_RAW|PARAM_RAW_TRIMMED|PARAM_SAFEDIR|PARAM_SAFEPATH|PARAM_SEQUENCE|PARAM_TAG|PARAM_TAGLIST|PARAM_TEXT|PARAM_THEME|PARAM_URL|PARAM_USERNAME|PARAM_STRINGID|PARAM_TIMEZONE|PARAM_COMPONENT|PARAM_AREA|PARAM_PLUGIN $type
+ * @param bool $recursive clean recursive arrays
+ * @return (
+ *     $type is PARAM_ALPHA             ? string|null :
+ *     $type is PARAM_ALPHAEXT          ? string|null :
+ *     $type is PARAM_ALPHANUM          ? string|null :
+ *     $type is PARAM_ALPHANUMEXT       ? string|null :
+ *     $type is PARAM_AUTH              ? string :
+ *     $type is PARAM_BASE64            ? string :
+ *     $type is PARAM_BOOL              ? 0|1 :
+ *     $type is PARAM_CAPABILITY        ? string :
+ *     $type is PARAM_CLEANHTML         ? string :
+ *     $type is PARAM_EMAIL             ? string :
+ *     $type is PARAM_FILE              ? string :
+ *     $type is PARAM_FLOAT             ? float :
+ *     $type is PARAM_LOCALISEDFLOAT    ? float|false :
+ *     $type is PARAM_HOST              ? string :
+ *     $type is PARAM_INT               ? int :
+ *     $type is PARAM_LANG              ? string :
+ *     $type is PARAM_LOCALURL          ? string :
+ *     $type is PARAM_NOTAGS            ? string :
+ *     $type is PARAM_PATH              ? string :
+ *     $type is PARAM_PEM               ? string :
+ *     $type is PARAM_PERMISSION        ? CAP_INHERIT|CAP_ALLOW|CAP_PREVENT|CAP_PROHIBIT :
+ *     $type is PARAM_RAW               ? mixed :
+ *     $type is PARAM_RAW_TRIMMED       ? string :
+ *     $type is PARAM_SAFEDIR           ? string :
+ *     $type is PARAM_SAFEPATH          ? string :
+ *     $type is PARAM_SEQUENCE          ? string|null :
+ *     $type is PARAM_TAG               ? string :
+ *     $type is PARAM_TAGLIST           ? string :
+ *     $type is PARAM_TEXT              ? string :
+ *     $type is PARAM_THEME             ? string :
+ *     $type is PARAM_URL               ? string :
+ *     $type is PARAM_USERNAME          ? string :
+ *     $type is PARAM_STRINGID          ? string :
+ *     $type is PARAM_TIMEZONE          ? string :
+ *     $type is PARAM_COMPONENT         ? string :
+ *     $type is PARAM_AREA              ? string :
+ *     $type is PARAM_PLUGIN            ? string :
+ *     mixed
+ * )[]
+ * @throws coding_exception&Throwable
+ */
+function clean_param_array(?array $param, $type, $recursive = false) {
+}
+
+/**
+ * @param mixed $param
+ * @param PARAM_ALPHA|PARAM_ALPHAEXT|PARAM_ALPHANUM|PARAM_ALPHANUMEXT|PARAM_AUTH|PARAM_BASE64|PARAM_BOOL|PARAM_CAPABILITY|PARAM_CLEANHTML|PARAM_EMAIL|PARAM_FILE|PARAM_FLOAT|PARAM_LOCALISEDFLOAT|PARAM_HOST|PARAM_INT|PARAM_LANG|PARAM_LOCALURL|PARAM_NOTAGS|PARAM_PATH|PARAM_PEM|PARAM_PERMISSION|PARAM_RAW|PARAM_RAW_TRIMMED|PARAM_SAFEDIR|PARAM_SAFEPATH|PARAM_SEQUENCE|PARAM_TAG|PARAM_TAGLIST|PARAM_TEXT|PARAM_THEME|PARAM_URL|PARAM_USERNAME|PARAM_STRINGID|PARAM_TIMEZONE|PARAM_COMPONENT|PARAM_AREA|PARAM_PLUGIN $type
+ * @return (
+ *     $type is PARAM_ALPHA             ? string|null :
+ *     $type is PARAM_ALPHAEXT          ? string|null :
+ *     $type is PARAM_ALPHANUM          ? string|null :
+ *     $type is PARAM_ALPHANUMEXT       ? string|null :
+ *     $type is PARAM_AUTH              ? string :
+ *     $type is PARAM_BASE64            ? string :
+ *     $type is PARAM_BOOL              ? 0|1 :
+ *     $type is PARAM_CAPABILITY        ? string :
+ *     $type is PARAM_CLEANHTML         ? string :
+ *     $type is PARAM_EMAIL             ? string :
+ *     $type is PARAM_FILE              ? string :
+ *     $type is PARAM_FLOAT             ? float :
+ *     $type is PARAM_LOCALISEDFLOAT    ? float|false :
+ *     $type is PARAM_HOST              ? string :
+ *     $type is PARAM_INT               ? int :
+ *     $type is PARAM_LANG              ? string :
+ *     $type is PARAM_LOCALURL          ? string :
+ *     $type is PARAM_NOTAGS            ? string :
+ *     $type is PARAM_PATH              ? string :
+ *     $type is PARAM_PEM               ? string :
+ *     $type is PARAM_PERMISSION        ? CAP_INHERIT|CAP_ALLOW|CAP_PREVENT|CAP_PROHIBIT :
+ *     $type is PARAM_RAW               ? mixed :
+ *     $type is PARAM_RAW_TRIMMED       ? string :
+ *     $type is PARAM_SAFEDIR           ? string :
+ *     $type is PARAM_SAFEPATH          ? string :
+ *     $type is PARAM_SEQUENCE          ? string|null :
+ *     $type is PARAM_TAG               ? string :
+ *     $type is PARAM_TAGLIST           ? string :
+ *     $type is PARAM_TEXT              ? string :
+ *     $type is PARAM_THEME             ? string :
+ *     $type is PARAM_URL               ? string :
+ *     $type is PARAM_USERNAME          ? string :
+ *     $type is PARAM_STRINGID          ? string :
+ *     $type is PARAM_TIMEZONE          ? string :
+ *     $type is PARAM_COMPONENT         ? string :
+ *     $type is PARAM_AREA              ? string :
+ *     $type is PARAM_PLUGIN            ? string :
+ *     mixed
+ * )
+ * @throws coding_exception&Throwable
+ */
+function clean_param($param, $type) {
+}
+
 /**
  * @param string $name
  * @param string|int|bool|null $value
@@ -265,7 +365,7 @@ function unset_all_config_for_plugin($plugin) {
  * @param string|null $plugin
  * @param string|null $name
  * @return ($name is null ? stdClass : string|false)
- * @throws dml_exception&\Throwable
+ * @throws dml_exception&Throwable
  */
 function get_config($plugin, $name = null) {
 }
@@ -282,7 +382,7 @@ function get_file_storage($reset = false) {
  * @param string|int|bool|null $value
  * @param stdClass|int|null $user
  * @return true
- * @throws coding_exception&\Throwable
+ * @throws coding_exception&Throwable
  */
 function set_user_preference($name, $value, $user = null) {
 }
@@ -299,7 +399,7 @@ function set_user_preferences(array $prefarray, $user = null) {
  * @param string $name
  * @param stdClass|int|null $user
  * @return true
- * @throws coding_exception&\Throwable
+ * @throws coding_exception&Throwable
  */
 function unset_user_preference($name, $user = null) {
 }
@@ -310,7 +410,82 @@ function unset_user_preference($name, $user = null) {
  * @param T $default
  * @param stdClass|int|null $user
  * @return ($name is null ? array<string, string> : string|T|null)
- * @throws coding_exception&\Throwable
+ * @throws coding_exception&Throwable
  */
 function get_user_preferences($name = null, $default = null, $user = null) {
 }
+
+/**
+ * @param stdClass|null|false $user
+ * @param bool $override
+ * @return ($user is object ? string : '')
+ */
+function fullname($user, $override = false) {
+}
+
+/**
+ * @param 'get'|'buffer'|'close'|'flush' $action
+ * @return ($action is 'get' ? moodle_phpmailer : null)
+ */
+function get_mailer($action = 'get') {
+}
+
+/**
+ * @param stdClass $user
+ * @param stdClass|string $from
+ * @param string $subject
+ * @param string $messagetext
+ * @param string $messagehtml
+ * @param string $attachment
+ * @param string $attachname
+ * @param bool $usetrueaddress
+ * @param string $replyto
+ * @param string $replytoname
+ * @param int $wordwrapwidth
+ * @return bool
+ */
+function email_to_user(
+    $user,
+    $from,
+    $subject,
+    $messagetext,
+    $messagehtml = '',
+    $attachment = '',
+    $attachname = '',
+    $usetrueaddress = true,
+    $replyto = '',
+    $replytoname = '',
+    $wordwrapwidth = 79,
+) {
+}
+
+/**
+ * @phpstan-import-type get_string_a from lang_string
+ * @param string $identifier
+ * @param string $component
+ * @param (
+ *     string|object|int|float|bool|Stringable
+ *     |array<
+ *         string,
+ *         string|object|int|float|bool|Stringable
+ *      >
+ * ) $a
+ * @param bool $lazyload
+ * @return ($lazyload is false ? string : lang_string)
+ * @throws coding_exception&Throwable
+ */
+function get_string($identifier, $component = '', $a = null, $lazyload = false) {
+}
+
+/**
+ * @param string[] $array
+ * @param string $component
+ * @return stdClass
+ */
+function get_strings($array, $component = '') {
+    $string = new stdClass();
+    foreach ($array as $item) {
+        $string->$item = get_string($item, $component);
+    }
+    return $string;
+}
diff --git a/phpstan/stubs/public/lib/pear/HTML/QuickForm.stub b/phpstan/stubs/public/lib/pear/HTML/QuickForm.stub
index 2b4dd7b9..04bd721c 100644
--- a/phpstan/stubs/public/lib/pear/HTML/QuickForm.stub
+++ b/phpstan/stubs/public/lib/pear/HTML/QuickForm.stub
@@ -52,4 +52,56 @@ class HTML_QuickForm extends HTML_Common {
      */
     public function &addElement($element, ...$args) {
     }
+
+    /**
+     * @param string $elementType
+     * @param mixed[] $args
+     * @return (
+     *    $elementType is 'advcheckbox'         ? MoodleQuickForm_advcheckbox :
+     *    $elementType is 'autocomplete'        ? MoodleQuickForm_autocomplete :
+     *    $elementType is 'button'              ? MoodleQuickForm_button :
+     *    $elementType is 'cancel'              ? MoodleQuickForm_cancel :
+     *    $elementType is 'course'              ? MoodleQuickForm_course :
+     *    $elementType is 'cohort'              ? MoodleQuickForm_cohort :
+     *    $elementType is 'searchableselector'  ? MoodleQuickForm_searchableselector :
+     *    $elementType is 'checkbox'            ? MoodleQuickForm_checkbox :
+     *    $elementType is 'choicedropdown'      ? MoodleQuickForm_choicedropdown :
+     *    $elementType is 'date_selector'       ? MoodleQuickForm_date_selector :
+     *    $elementType is 'date_time_selector'  ? MoodleQuickForm_date_time_selector :
+     *    $elementType is 'duration'            ? MoodleQuickForm_duration :
+     *    $elementType is 'editor'              ? MoodleQuickForm_editor :
+     *    $elementType is 'filemanager'         ? MoodleQuickForm_filemanager :
+     *    $elementType is 'filepicker'          ? MoodleQuickForm_filepicker :
+     *    $elementType is 'filetypes'           ? MoodleQuickForm_filetypes :
+     *    $elementType is 'float'               ? MoodleQuickForm_float :
+     *    $elementType is 'grading'             ? MoodleQuickForm_grading :
+     *    $elementType is 'group'               ? MoodleQuickForm_group :
+     *    $elementType is 'header'              ? MoodleQuickForm_header :
+     *    $elementType is 'hidden'              ? MoodleQuickForm_hidden :
+     *    $elementType is 'listing'             ? MoodleQuickForm_listing :
+     *    $elementType is 'defaultcustom'       ? MoodleQuickForm_defaultcustom :
+     *    $elementType is 'modgrade'            ? MoodleQuickForm_modgrade :
+     *    $elementType is 'modvisible'          ? MoodleQuickForm_modvisible :
+     *    $elementType is 'password'            ? MoodleQuickForm_password :
+     *    $elementType is 'passwordunmask'      ? MoodleQuickForm_passwordunmask :
+     *    $elementType is 'questioncategory'    ? MoodleQuickForm_questioncategory :
+     *    $elementType is 'radio'               ? MoodleQuickForm_radio :
+     *    $elementType is 'recaptcha'           ? MoodleQuickForm_recaptcha :
+     *    $elementType is 'select'              ? MoodleQuickForm_select :
+     *    $elementType is 'selectgroups'        ? MoodleQuickForm_selectgroups :
+     *    $elementType is 'selectwithlink'      ? MoodleQuickForm_selectwithlink :
+     *    $elementType is 'selectyesno'         ? MoodleQuickForm_selectyesno :
+     *    $elementType is 'static'              ? MoodleQuickForm_static :
+     *    $elementType is 'submit'              ? MoodleQuickForm_submit :
+     *    $elementType is 'tags'                ? MoodleQuickForm_tags :
+     *    $elementType is 'text'                ? MoodleQuickForm_text :
+     *    $elementType is 'textarea'            ? MoodleQuickForm_textarea :
+     *    $elementType is 'url'                 ? MoodleQuickForm_url :
+     *    $elementType is 'warning'             ? MoodleQuickForm_warning :
+     *    HTML_QuickForm_element
+     * )
+     * @throws HTML_QuickForm_Error&Throwable
+     */
+    public function &createElement($elementType, ...$args) {
+    }
 }
diff --git a/phpstan/stubs/public/lib/phpmailer/moodle_phpmailer.stub b/phpstan/stubs/public/lib/phpmailer/moodle_phpmailer.stub
new file mode 100644
index 00000000..36b1f549
--- /dev/null
+++ b/phpstan/stubs/public/lib/phpmailer/moodle_phpmailer.stub
@@ -0,0 +1,4 @@
+<?php
+
+class moodle_phpmailer extends \PHPMailer\PHPMailer\PHPMailer {
+}
diff --git a/phpstan/stubs/public/lib/phpunit/classes/advanced_testcase.stub b/phpstan/stubs/public/lib/phpunit/classes/advanced_testcase.stub
new file mode 100644
index 00000000..1acbc2be
--- /dev/null
+++ b/phpstan/stubs/public/lib/phpunit/classes/advanced_testcase.stub
@@ -0,0 +1,15 @@
+<?php
+
+/**
+ * @phpstan-type debug_level DEBUG_NONE|DEBUG_MINIMAL|DEBUG_NORMAL|DEBUG_ALL|DEBUG_DEVELOPER
+ */
+abstract class advanced_testcase extends base_testcase {
+    /**
+     * @param null|string $debugmessage
+     * @param null|debug_level $debuglevel
+     * @param string $message
+     * @return void
+     */
+    public function assertDebuggingCalled($debugmessage = null, $debuglevel = null, $message = '') {
+    }
+}
diff --git a/phpstan/stubs/public/lib/phpunit/classes/base_testcase.stub b/phpstan/stubs/public/lib/phpunit/classes/base_testcase.stub
new file mode 100644
index 00000000..a6a5b78a
--- /dev/null
+++ b/phpstan/stubs/public/lib/phpunit/classes/base_testcase.stub
@@ -0,0 +1,6 @@
+<?php
+
+use PHPUnit\Framework\TestCase;
+
+abstract class base_testcase extends TestCase {
+}
diff --git a/phpstan/stubs/public/lib/setuplib.stub b/phpstan/stubs/public/lib/setuplib.stub
new file mode 100644
index 00000000..16e4ee04
--- /dev/null
+++ b/phpstan/stubs/public/lib/setuplib.stub
@@ -0,0 +1,7 @@
+<?php
+
+define('DEBUG_NONE', 0);
+define('DEBUG_MINIMAL', E_ERROR | E_PARSE);
+define('DEBUG_NORMAL', E_ERROR | E_PARSE | E_WARNING | E_NOTICE);
+define('DEBUG_ALL', E_ALL);
+define('DEBUG_DEVELOPER', E_ALL);
diff --git a/phpstan/stubs/public/lib/weblib.stub b/phpstan/stubs/public/lib/weblib.stub
index eadb3fe7..2a13a789 100644
--- a/phpstan/stubs/public/lib/weblib.stub
+++ b/phpstan/stubs/public/lib/weblib.stub
@@ -6,6 +6,12 @@ define('FORMAT_PLAIN', '2');
 define('FORMAT_WIKI', '3');
 define('FORMAT_MARKDOWN', '4');
 
+/**
+ * @return stdClass|false
+ */
+function data_submitted() {
+}
+
 /**
  * @param string $text
  * @param \FORMAT_MOODLE|\FORMAT_HTML|\FORMAT_PLAIN|\FORMAT_MARKDOWN $format
@@ -15,3 +21,12 @@ define('FORMAT_MARKDOWN', '4');
  */
 function format_text($text, $format = \FORMAT_MOODLE, $options = null, $courseiddonotuse = null) {
 }
+
+/**
+ * @param string $message
+ * @param DEBUG_NONE|DEBUG_MINIMAL|DEBUG_NORMAL|DEBUG_ALL|DEBUG_DEVELOPER $level
+ * @param mixed[] $backtrace
+ * @return bool
+ */
+function debugging($message = '', $level = DEBUG_NORMAL, $backtrace = null) {
+}
diff --git a/phpstan/stubs/public/user/profile/lib.stub b/phpstan/stubs/public/user/profile/lib.stub
new file mode 100644
index 00000000..c09adf9f
--- /dev/null
+++ b/phpstan/stubs/public/user/profile/lib.stub
@@ -0,0 +1,12 @@
+<?php
+
+class profile_field_base {
+    /**
+     * @param mixed $data
+     * @param mixed $datarecord
+     * @return mixed
+     */
+    public function edit_save_data_preprocess($data, $datarecord) {
+        return $data;
+    }
+}
diff --git a/phpstan/stubs/public/user/selector/lib.stub b/phpstan/stubs/public/user/selector/lib.stub
new file mode 100644
index 00000000..7445fdeb
--- /dev/null
+++ b/phpstan/stubs/public/user/selector/lib.stub
@@ -0,0 +1,15 @@
+<?php
+
+use core\context;
+
+abstract class user_selector_base {
+    /** @var context */
+    protected $accesscontext;
+
+    /**
+     * @param stdClass $user
+     * @return string
+     */
+    public function output_user($user) {
+    }
+}
diff --git a/phpstan/stubs/vendor/phpmailer.stub b/phpstan/stubs/vendor/phpmailer.stub
new file mode 100644
index 00000000..8d131419
--- /dev/null
+++ b/phpstan/stubs/vendor/phpmailer.stub
@@ -0,0 +1,6 @@
+<?php
+
+namespace PHPMailer\PHPMailer {
+    class PHPMailer {
+    }
+}
diff --git a/phpstan/stubs/vendor/phpunit.stub b/phpstan/stubs/vendor/phpunit.stub
new file mode 100644
index 00000000..e3ced1fd
--- /dev/null
+++ b/phpstan/stubs/vendor/phpunit.stub
@@ -0,0 +1,20 @@
+<?php declare(strict_types=1);
+
+namespace PHPUnit\Framework{
+    use Countable;
+
+    abstract class TestCase extends Assert implements Reorderable, SelfDescribing, Test {
+    }
+
+    abstract class Assert {
+    }
+
+    interface SelfDescribing {
+    }
+
+    interface Reorderable {
+    }
+
+    interface Test extends Countable {
+    }
+}
diff --git a/scripts/phpstan/format-stubs.sh b/scripts/phpstan/format-stubs.sh
index 7aa75263..ac839313 100755
--- a/scripts/phpstan/format-stubs.sh
+++ b/scripts/phpstan/format-stubs.sh
@@ -1,12 +1,39 @@
 #!/usr/bin/env bash
-# Formats each stub.
+# Formats stub files in batches.
+# Optionally --check to run in CI mode.
 #
 # Note that we don't use `./vendor/bin/pint phpstan/stubs/**/*.stub`
 # in case there are too many stubs to pass to pint.
 
 set -euo pipefail
 
+readonly BATCH_SIZE=50
+
+pint_args=()
+
+case "${1:-}" in
+    "")
+        ;;
+    --check)
+        pint_args+=(--test)
+        ;;
+    *)
+        echo "Usage: $0 [--check]" >&2
+        exit 1
+        ;;
+esac
+
+status=0
+
+set +e
 find phpstan/stubs -type f -name '*.stub' -print0 |
-while IFS= read -r -d '' stub; do
-    ./vendor/bin/pint "$stub"
-done
+    xargs -0 -n "$BATCH_SIZE" ./vendor/bin/pint "${pint_args[@]}"
+xargs_status=$?
+set -e
+
+# xargs returns 123 if any invocation exited with status 1-125.
+if [ "$xargs_status" -ne 0 ]; then
+    status=1
+fi
+
+exit "$status"