PHPエクステンションの解説は今回でひとまずおしまいです。前回までに紹介できなかったものの中から、とても役に立つエクステンションを紹介します（編集部）