try to use git submodule for phpstorm-attributes

isfedorov · Sep 27, 2024 · 4334b69 · 4334b69
1 parent 63db92a
commit 4334b69
Show file tree

Hide file tree

Showing 10 changed files with 4 additions and 225 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "meta/attributes/phpstorm-attributes"]
+	path = meta/attributes/phpstorm-attributes
+	url = git@github.com:JetBrains/phpstorm-attributes.git
diff --git a/meta/attributes/ArrayShape.php b/meta/attributes/ArrayShape.php
diff --git a/meta/attributes/Deprecated.php b/meta/attributes/Deprecated.php
diff --git a/meta/attributes/ExpectedValues.php b/meta/attributes/ExpectedValues.php
diff --git a/meta/attributes/Immutable.php b/meta/attributes/Immutable.php
diff --git a/meta/attributes/Language.php b/meta/attributes/Language.php
diff --git a/meta/attributes/NoReturn.php b/meta/attributes/NoReturn.php
diff --git a/meta/attributes/ObjectShape.php b/meta/attributes/ObjectShape.php
diff --git a/meta/attributes/Pure.php b/meta/attributes/Pure.php
diff --git a/meta/attributes/phpstorm-attributes b/meta/attributes/phpstorm-attributes