MDL-77164 various: fix incorrect phpdocs

2023-04-13 11:35:06 +01:00
parent 4d765cd699
commit 8fc1486d36
327 changed files with 644 additions and 533 deletions
@@ -64,6 +64,7 @@ class tiny extends \core\plugininfo\base {
        // In case settings.php wants to refer to them.
        global $CFG, $USER, $DB, $OUTPUT, $PAGE;

+        /** @var \admin_root $ADMIN */
        $ADMIN = $adminroot; // May be used in settings.php.
        $plugininfo = $this; // Also can be used inside settings.php.