From a00e10f38eda386745b11f89e98d075ce222b752 Mon Sep 17 00:00:00 2001 From: Laurens Bultynck Date: Mon, 5 Sep 2022 18:34:01 +0200 Subject: [PATCH] Add IDE helper file (#11) --- _ide_helpers.php | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 _ide_helpers.php diff --git a/_ide_helpers.php b/_ide_helpers.php new file mode 100644 index 0000000..249bb58 --- /dev/null +++ b/_ide_helpers.php @@ -0,0 +1,10 @@ +