Skip to content
Pull Request Labeler

Fix GH-18634: Show warning when saving session if a pipe character is used in one of the $_SESSION keys #16778

Sign in to view logs

Fix GH-18634: Show warning when saving session if a pipe character is used in one of the $_SESSION keys

Fix GH-18634: Show warning when saving session if a pipe character is used in one of the $_SESSION keys #16778

Workflow file for this run

.github/workflows/labeler.yml at 3873858
name: "Pull Request Labeler"
on:
- pull_request_target
permissions:
contents: read
jobs:
triage:
if: github.repository == 'php/php-src'
permissions:
pull-requests: write
runs-on: ubuntu-latest
steps:
- uses: actions/labeler@v4
with:
repo-token: "${{ secrets.GITHUB_TOKEN }}"