From 8f0dbcde25ce07fde39a3b1ca638de2536b65bf4 Mon Sep 17 00:00:00 2001 From: Daniel Spors Date: Tue, 19 Dec 2023 08:28:33 +0100 Subject: [PATCH] Updated web/system reference --- WebFramework.code-workspace | 7 ++++++- web/.vscode/tasks.json | 4 ++++ web/system | 2 +- 3 files changed, 11 insertions(+), 2 deletions(-) diff --git a/WebFramework.code-workspace b/WebFramework.code-workspace index 0ac61ff..beded8c 100644 --- a/WebFramework.code-workspace +++ b/WebFramework.code-workspace @@ -4,5 +4,10 @@ "path": "web" } ], - "settings": {} + "settings": { + "php.stubs": [ + "*", + "posix" + ] + } } \ No newline at end of file diff --git a/web/.vscode/tasks.json b/web/.vscode/tasks.json index 88ecdbd..74bf830 100644 --- a/web/.vscode/tasks.json +++ b/web/.vscode/tasks.json @@ -8,6 +8,10 @@ "type": "shell", "group": "build", "command": "php -c ${workspaceFolder}/../tools/build/php.ini ${workspaceFolder}/../tools/build/build.php", + "presentation": { + "reveal": "silent", + "close": true + } } ] } \ No newline at end of file diff --git a/web/system b/web/system index 111e1b0..3067965 160000 --- a/web/system +++ b/web/system @@ -1 +1 @@ -Subproject commit 111e1b0bc79a45dd23e772c11fda60791f8411c9 +Subproject commit 3067965f15f86c599e5f51c555adb3766db993be