Improve documentation for player:set_attribute()

diff --git a/doc/lua_api.txt b/doc/lua_api.txt
index 5dbd8d49760efc193c7f229f614360fb36f5b969..b90a3974e8f2e61345403cb07eccba343e900020 100644 (file)
--- a/doc/lua_api.txt
+++ b/doc/lua_api.txt
@@ -3594,7 +3594,7 @@ This is basically a reference to a C++ `ServerActiveObject`
         * See Object Properties for more information
 * `set_attribute(attribute, value)`:
     * Sets an extra attribute with value on player.
-    * `value` must be a string.
+    * `value` must be a string, or a number which will be converted to a string.
     * If `value` is `nil`, remove attribute from player.
 * `get_attribute(attribute)`:
     * Returns value (a string) for extra attribute.