diff --git a/.devcontainer/build.sh b/.devcontainer/build.sh index 9a1af55d..f7b640c0 100755 --- a/.devcontainer/build.sh +++ b/.devcontainer/build.sh @@ -1,2 +1,3 @@ #!/bin/sh -docker run --rm -v ${PWD}:/app $(docker build -q .) +cd $(dirname $0)/../ +docker run --rm -v ${PWD}:/app $(docker build -q -f .devcontainer/Dockerfile .) diff --git a/.devcontainer/run.sh b/.devcontainer/run.sh index 3927f67a..d698c90c 100755 --- a/.devcontainer/run.sh +++ b/.devcontainer/run.sh @@ -1,2 +1,3 @@ #!/bin/sh -docker run --rm -ti -v ${PWD}:/app $(docker build -q .) /bin/bash +cd $(dirname $0)/../ +docker run --rm -ti -v ${PWD}:/app $(docker build -q . -f .devcontainer/Dockerfile) /bin/bash diff --git a/generator/src/DocPage.php b/generator/src/DocPage.php index ff5a5383..407fc626 100644 --- a/generator/src/DocPage.php +++ b/generator/src/DocPage.php @@ -17,13 +17,13 @@ public function __construct(private readonly string $path) { } - // Ignore function if it was removed before PHP 8.1 + // Ignore function if it was removed before PHP 8.2 private function getIsDeprecated(string $file): bool { if (preg_match('/&warn\.deprecated\.function-(\d+-\d+-\d+)\.removed-(\d+-\d+-\d+)/', $file, $matches)) { $removedVersion = $matches[2]; [$major, $minor] = explode('-', $removedVersion); - if ($major < 8 || ($major == 8 && $minor == 0)) { + if ($major < 8 || ($major == 8 && $minor < 2)) { return true; } } @@ -31,7 +31,7 @@ private function getIsDeprecated(string $file): bool if (preg_match('/&warn\.removed\.function-(\d+-\d+-\d+)/', $file, $matches)) { $removedVersion = $matches[1]; [$major, $minor] = explode('-', $removedVersion); - if ($major < 8 || ($major == 8 && $minor == 0)) { + if ($major < 8 || ($major == 8 && $minor < 2)) { return true; } }