From b48da92eba3f0e7ec48b61fd9d8cd42e562f981b Mon Sep 17 00:00:00 2001 From: Yoshinari Takaoka Date: Sun, 28 Dec 2025 23:07:10 +0900 Subject: [PATCH] Update pie usage link https://github.com/php/doc-en/commit/b759662494d44aafa74356de0e1a0bb5684ca22d --- install/pie.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/install/pie.xml b/install/pie.xml index 4bfe765b7..2d7ea46e1 100644 --- a/install/pie.xml +++ b/install/pie.xml @@ -1,6 +1,6 @@ - + PIE と サードパーティ拡張モジュールのインストール @@ -35,7 +35,7 @@ pie install mongodb/mongodb-extension さらに詳しいことは、 - "PIE + "PIE Usage" documentation が説明しています。