php - テキストのインデントをユーザーが書いたものと同じに保つ方法