Added missing documentation for dc_get_user_color

replaceitem · Jun 25, 2024 · 31cb843 · 31cb843
1 parent 0b76d86
commit 31cb843
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 0 deletions.
diff --git a/docs/pages/functions/users/get-user-color.md b/docs/pages/functions/users/get-user-color.md
@@ -0,0 +1,4 @@
+### `dc_get_user_color(user,server)`
+
+Gets the color of the [`user`](/values/user.md) in the [`server`](/values/server.md), which depends on the topmost role.
+Returns `null` when the user has no color from a role.
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -78,6 +78,7 @@ nav:
       - dc_set_status: 'functions/bot/set-status.md'
     - User functions:
       - dc_get_display_name: 'functions/users/get-display-name.md'
+      - dc_get_user_color: 'functions/users/get-user-color.md'
       - dc_set_nickname: 'functions/users/set-nickname.md'
       - dc_timeout: 'functions/users/timeout.md'
     - Role functions: