<?php declare(strict_types=1);

class TipsInfo extends ExtensionInfo
{
    public const KEY = "tips";

    public string $key = self::KEY;
    public string $name = "Random Tip";
    public array $authors = ["Sein Kraft"=>"mail@seinkraft.info"];
    public string $license = "GPLv2";
    public string $description = "Show a random line of text in the subheader space";
    public ?string $documentation = "Formatting is done with HTML";
    public array $db_support = [DatabaseDriver::MYSQL, DatabaseDriver::SQLITE];  // rand() ?
}