Use luals-stubs as the source of truth for docs, instead of maintaining

separate docs stubs

Includes introducing a cool new script to turn lua-language-server's
json output into markdown documentation.

1 files changed, 12 insertions, 0 deletions

diff --git a/luals-stubs/time.lua b/luals-stubs/time.lua
new file mode 100644
index 00000000..95bbabdb
--- /dev/null
+++ b/luals-stubs/time.lua
@@ -0,0 +1,12 @@
+--- @meta
+
+--- The `time` module contains functions for dealing with the current time
+--- since boot.
+--- @class time
+local time = {}
+
+--- Returns the time in milliseconds since the device booted.
+--- @return integer
+function time.ticks() end
+
+return time