hogyesn/php-extension-dev repository overview

⁠PED - PHP Extension Development Environment

Ready-to-use Docker image for developing, building, testing, and debugging PHP extensions.

⁠Overview

A complete development environment with:

• PHP with development headers and debug symbols
• Build tools: gcc, make, autoconf, libtool
• Debugging: gdbserver (default port: 3333)
• PED CLI: Integrated command-line tool for common extension workflows

⁠Supported PHP Versions

• PHP 8.x (debug build)
• Versioned tags are available (e.g. 8.3.29, 8.5.1)

⁠Quick Start

# Pull the image
docker pull hogyesn/php-extension-dev:latest

# Run with required mounts
docker run -d --name php-extension-dev \
  -v $(pwd)/extensions:/extensions \
  -v $(pwd)/debug_scripts:/debug_scripts \
  -p 3333:3333 \
  --cap-add=SYS_PTRACE \
  --security-opt seccomp=unconfined \
  hogyesn/php-extension-dev:latest

⁠Volumes

⁠Typical Usage

The container is designed to be used with the PED CLI, which provides high-level commands for creating, building, testing, and debugging PHP extensions.

ped new my_extension
ped build my_extension
ped test my_extension
ped debug my_extension

⁠Debugging

• gdbserver runs inside the container
• Default debug port: 3333
• Designed for remote debugging from the host (e.g. VS Code)

⁠Source & Documentation

• GitHub: github.com/hogyesn/php-extension-dev-docker⁠

⁠License

MIT License - Copyright (c) 2026 hogyesn