Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

bug(php-ds): php-ds doesnt load #68

Open
keithy opened this issue Mar 24, 2019 · 4 comments
Open

bug(php-ds): php-ds doesnt load #68

keithy opened this issue Mar 24, 2019 · 4 comments
Assignees
@hernandev
Labels
bug help wanted request

Comments

@keithy
Copy link

keithy commented Mar 24, 2019

00_ds.ini needs to be renamed 01_ds.ini so that it loads after json.
@keithy keithy changed the title php7-ds doesnt load php-ds doesnt load Mar 24, 2019
@glensc
Copy link
Contributor

glensc commented May 23, 2019

well known thing: php-ds/ext-ds#2

@hernandev
Copy link
Member

is it upstream bug?

@glensc
Copy link
Contributor

glensc commented Nov 25, 2019 •
edited
Loading

in short: this should be fixed in packaging

longer: problem is in php-src that extension line is evaluated immediately, not after reading in all ini configs. the only workaround is to order extension lines by dependencies manually.

@hernandev
Copy link
Member

nowadays extensions have a weight prefix, is this still happening? is this extension still supported?

Just checked ds is not suported on php8 yet, gonna try if this still happening soon

@hernandev hernandev changed the title php-ds doesnt load bug(php-ds): php-ds doesnt load Jan 10, 2021
@hernandev hernandev self-assigned this Jan 10, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@hernandev hernandev

Labels
bug help wanted request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@keithy @glensc @hernandev