formatting

2020-06-24 12:41:02 +01:00
parent 04987ea70e
commit 1c216e8d51
2 changed files with 10 additions and 8 deletions
--- a/ext/user_config/theme.php
+++ b/ext/user_config/theme.php
@ -5,7 +5,6 @@ use function MicroHTML\INPUT;

 class UserConfigTheme extends Themelet
 {
-
    public function get_user_options(string $key): string
    {
        $html = "