18 Pull requests merged by 1 person

• [pull] master from php:master

  #717 merged Jul 7, 2025

• [pull] master from php:master

  #716 merged Jul 7, 2025

• [pull] master from php:master

  #715 merged Jul 7, 2025

• [pull] master from php:master

  #714 merged Jul 6, 2025

• [pull] master from php:master

  #713 merged Jul 6, 2025

• [pull] master from php:master

  #712 merged Jul 6, 2025

• [pull] master from php:master

  #711 merged Jul 5, 2025

• [pull] master from php:master

  #710 merged Jul 5, 2025

• [pull] master from php:master

  #709 merged Jul 4, 2025

• [pull] master from php:master

  #708 merged Jul 4, 2025

• [pull] master from php:master

  #707 merged Jul 3, 2025

• [pull] master from php:master

  #706 merged Jul 3, 2025

• [pull] master from php:master

  #705 merged Jul 3, 2025

• [pull] master from php:master

  #704 merged Jul 2, 2025

• [pull] master from php:master

  #703 merged Jul 2, 2025

• [pull] master from php:master

  #702 merged Jul 2, 2025

• [pull] master from php:master

  #701 merged Jul 1, 2025

• [pull] master from php:master

  #700 merged Jul 1, 2025