From 1c3352628784c7032c6929c60d1c1d207279e3d9 Mon Sep 17 00:00:00 2001 From: Nuno Maduro Date: Sat, 15 Feb 2025 18:58:28 +0000 Subject: [PATCH] chore: adjusts local server contribution --- .gitattributes | 2 +- playground/install | 9 +++++++++ playwright.config.js | 2 +- 3 files changed, 11 insertions(+), 2 deletions(-) create mode 100644 playground/install diff --git a/.gitattributes b/.gitattributes index 87ea2ce..a19b863 100644 --- a/.gitattributes +++ b/.gitattributes @@ -1,6 +1,6 @@ /art export-ignore /docs export-ignore -/playground export-ignore +/playground export-ignore /tests export-ignore /scripts export-ignore /.github export-ignore diff --git a/playground/install b/playground/install new file mode 100644 index 0000000..f62c8c9 --- /dev/null +++ b/playground/install @@ -0,0 +1,9 @@ +#!/usr/bin/env php +