Tools: ignore lua-language-server-errors

2024-05-03 19:22:25 +01:00 · 2024-05-03 19:22:25 +01:00 · cf16448dfa
parent 5bb5f442e1
commit cf16448dfa
1 changed files with 5 additions and 0 deletions
--- a/Tools/AP_Periph/Web/scripts/pppgw_webui.lua
+++ b/Tools/AP_Periph/Web/scripts/pppgw_webui.lua
@ -2,6 +2,11 @@
   example script to test lua socket API
 --]]

+---@diagnostic disable: param-type-mismatch
+---@diagnostic disable: need-check-nil
+---@diagnostic disable: redundant-parameter
+---@diagnostic disable: undefined-field
+
 PARAM_TABLE_KEY = 47
 PARAM_TABLE_PREFIX = "WEB_"