php / php/php-src

cli switch to ignore a certain extension

Open
#16,395 5 comments 2 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Feature SAPI: cli
Dominant language
C
Stars
40.4k
Forks
8.1k
Avg merge
2d 13h
Merged PRs (30d)
96

Description

Description

when running php on the CLI its sometimes usefull to use the default config, but ignore only certain extensions.
(e.g. because these extension bring a perf hit when loaded, like blackfire or xdebug)

atm its quite some work to invoke PHP via cli, with all the default settings but just a single extension not loaded.
see e.g. composer/xdebug-handler which needs a lot of code to just make the use-case work for xdebug alone. I would need a similar thing for blackfire (and maybe another one for tideways).

I manually tried using php -n -dextension= ..<all loaded extensions here except xdebug> but this does not work.
(I think I would need to replicate most of the logic in composer/xdebug-handler)

would this problem be more easily solved with a new cli option at php-src level, which would allow to use the default but disable certain given extensions?

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

The issue names no files or tests; start by tracing PHP CLI option handling and the behavior of -n with -dextension. Confirm how the default configuration could be preserved while excluding named extensions, then define the option’s scope and completion criteria with the maintainers.

Written by the indexing model from the issue text.

Assessment

Tech stack
php
Domain
cli
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
30/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.