Controller.php

<?php
namespace TracToGitlab;

/**
 * @property \TracToGitlabPlugin $plugin
 */
abstract class Controller extends \PluginController
{
    public function halt(string $message, int $code = 400)
    {
        while (ob_get_level()) {
            ob_end_clean();
        }

        sess()->save();

        header('Status: ' . $code . ' ' . $message, true, $code);
        die($message);
    }

    protected function activateNavigation(string ...$path): void
    {
        \Navigation::activateItem('/gitlab-dashboard/' . implode('/', $path));
    }
}