Examples: 001-SimpleWeb POST form demo (GET + POST parity)

[PurHur]

Problem

examples/001-SimpleWeb/example.php documents POST in the file header but only reads $_GET['name']. Manual testers and #248 ServeTest need a minimal POST path in the shipped example tree without waiting for #3-MiniWebApp.

Goal

Same page accepts:

• GET /example.php?name=Dev (current)
• POST /example.php with name=Dev in body

Scope

• Branch on $_SERVER['REQUEST_METHOD'] or use $_REQUEST['name'] with documented semantics
• Update example header comments and examples/README.md curl recipes
• Extend ExamplesCompileTest::vmExtraArgs / smoke needles if output changes
• Optional: small HTML <form method="post"> for browser manual test

Acceptance criteria

./phpc serve 127.0.0.1:8080 examples/001-SimpleWeb
curl -s -X POST -d 'name=PostDev' 'http://127.0.0.1:8080/example.php' | grep 'Hello PostDev'

VM and serve path match stock PHP 8 behavior for urlencoded POST.

Verification (local only)

make web-smoke
./script/ci-local.sh --filter ExamplesCompileTest

Do not require GitHub Actions.

Dependencies

• Testing: ServeTest POST form submission via phpc serve #248 ServeTest POST integration (can use this example docroot)
• Web: DevServer default document (index.php) instead of hard-coded example.php #254 default document index.php (optional rename later)

Related

• Php stdlib specs implementation #1 SimpleWeb benchmark (AOT: Re-enable examples/001-SimpleWeb in benchmark table with runtime GET #60)