From c846f5591778dd08344fb4e9b79dbc6780cd3cf5 Mon Sep 17 00:00:00 2001 From: Lukas Tautz <104827162+lukastautz@users.noreply.github.com> Date: Mon, 7 Nov 2022 17:13:32 +0100 Subject: [PATCH] Create ev3php headers e.g. for autocompletion --- header.php | 101 +++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 101 insertions(+) create mode 100644 header.php diff --git a/header.php b/header.php new file mode 100644 index 0000000..badc7a7 --- /dev/null +++ b/header.php @@ -0,0 +1,101 @@ +