Skip to content

document the report_xdebug_module setting - #22

Merged
carlos-granados merged 1 commit into
mainfrom
report-xdebug-module
Sep 9, 2026
Merged

document the report_xdebug_module setting#22
carlos-granados merged 1 commit into
mainfrom
report-xdebug-module

Conversation

@carlos-granados

Copy link
Copy Markdown
Contributor

Adds php_debugger.report_xdebug_module, which was missing from the settings page.

It controls whether extension_loaded("xdebug") reports true. Off by default because some tools — Composer and PHPUnit among them — use that check to detect Xdebug and then restart PHP with the extension disabled, a restart that cannot work here since there is no separate Zend extension to unload. Worth turning on only for a tool that gates a feature on the check rather than trying to disable anything.

Why it was missed: the previous page was verified against origin/main, which in this checkout is the carlos-granados/php-debugger fork, not php-debugger/php-debugger. The canonical repo is the upstream remote and it was ahead — the fork's main sits at #95, upstream at 0.3.2 including #108, which added this setting. Re-diffed against upstream/main.

After this, every setting registered on upstream/main is documented except max_nesting_level, which is still read nowhere in src/ and so is left out under the same rule as the other inert settings.

@github-actions

github-actions Bot commented Sep 9, 2026

Copy link
Copy Markdown
PR Preview Action v1.8.1
Preview removed because the pull request was closed.
2026-09-09 18:33 UTC

@carlos-granados
carlos-granados merged commit a540bf7 into main Sep 9, 2026
1 check passed
@carlos-granados
carlos-granados deleted the report-xdebug-module branch September 9, 2026 18:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant