[web] Fix web linting issue

This commit is contained in:
Alain Nussbaumer 2023-11-28 18:16:54 +01:00
parent c5b88e1eaf
commit 08b4dc3a52