Update theme.php

This commit is contained in:
Matthew Barbour 2019-08-14 09:07:45 -05:00 committed by GitHub
parent d62386474d
commit 4dce3a2f07
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -109,6 +109,8 @@ class RatingsTheme extends Themelet
}
$output .= "</table>";
return $output;
}
public function get_user_options(User $user, array $selected_ratings, array $available_ratings): string
{
$html = "