Skip to content

Conversation

@pull
Copy link

@pull pull bot commented Oct 1, 2025

See Commits and Changes for more details.


Created by pull[bot] (v2.0.0-alpha.4)

Can you help keep this open source service alive? 💖 Please sponsor : )

devnexen and others added 6 commits October 1, 2025 12:50
* global struct size reduction.

* connection port ini value sanity check addition.
* PHP-8.5:
  DOM Windows build fix (#20026)
* Fixes to phar stub

There were a couple of issues with the phar stub. It seems that in the
past people did not realise they had to change shortarc.php and run
makestub.php to generate the stubfile and instead they modified stub.h
manually. This meant that there were a couple of mistakes in the stub
which are fixed in this patch. In particular:

* The title tag was not closed
* The length of the stub was wrong in stub.h
* This PR syncs previous changes to stub.h back to shortarc.php
  and vice versa.
* Adds a note such that hopefully no mistakes against updating the stubs
  are made in the future (hopefully).
* The makestub.php script was actually broken because the expected
  signature of the stub got changed in b874f1a

* Verify that the phar stub is up-to-date in CI

* Update stub again after master changes

* size_t changes

* Update test after stub changes (canonical casts)

---------

Co-authored-by: Joe Watkins <[email protected]>
@pull pull bot locked and limited conversation to collaborators Oct 1, 2025
@pull pull bot added the ⤵️ pull label Oct 1, 2025
@pull pull bot merged commit b32a2a5 into wudi:master Oct 1, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants