src/Rah/Sitemap.php
public function prefs(): void
    {
        pagetop(gTxt('rah_sitemap'));

        echo graf(
            href(gTxt('rah_sitemap_view_prefs'), ['event' => 'prefs']) . br .
            href(gTxt('rah_sitemap_view_sitemap'), hu . '?rah_sitemap=sitemap')
        );
    }
public function prefs(): void
    {
        pagetop(gTxt('rah_sitemap'));

        echo graf(
            href(gTxt('rah_sitemap_view_prefs'), ['event' => 'prefs']) . br .
            href(gTxt('rah_sitemap_view_sitemap'), hu . '?rah_sitemap=sitemap')
        );
    }
public function prefs ( ) : void { pagetop ( gTxt ( 'rah_sitemap' ) ) ; echo graf ( href ( gTxt ( 'rah_sitemap_view_prefs' ) , [ 'event' => 'prefs' ] ) . br . href ( gTxt ( 'rah_sitemap_view_sitemap' ) , hu . '?rah_sitemap=sitemap' ) ) ; }
Options panel.
Options panel .