PR #1791 add basic IDE setup to docs

add basic IDE setup to docs #1791

henderkes wants to merge 10 commits into php:main from static-php:dev-docs

add basic IDE setup to docs (WIP)

82abe1be

withinboredom commented on 2025-08-05

use windows installed ides

8e51d5df

remove thingy

c0f07a19

markdown linter

a7c3001d

markdown linter 2

7a1e10ee

markdown linter 3

a51c7ae8

markdown linter 4

7b0966df

henderkes marked this pull request as ready for review 143 days ago

alexandre-daubois commented on 2025-08-25

reword

54faf794

move docs to CONTRIBUTING.md

2bdda864

no bare urls

82dbba7a

henderkes changed the title ~~add basic IDE setup to docs (WIP)~~ add basic IDE setup to docs 143 days ago

henderkes requested a review from

alexandre-daubois 139 days ago

Reviewers

alexandre-daubois

withinboredom

Assignees

No one assigned

Labels

None yet

Milestone

No milestone