Skip to content

Restore topNavSession() on cookie-session pages for legacy embedding … #1117

Restore topNavSession() on cookie-session pages for legacy embedding …

Restore topNavSession() on cookie-session pages for legacy embedding … #1117

name: PHP lint + PHPStan
on: [push, pull_request]
jobs:
php-lint:
runs-on: ubuntu-latest
strategy:
fail-fast: false
matrix:
php-version: ['8.4', '8.5']
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Create config.php for CI
run: cp config-dist.php config.php
- name: Setup PHP ${{ matrix.php-version }}
uses: shivammathur/setup-php@v2
with:
php-version: ${{ matrix.php-version }}
tools: composer
- run: php -version
- name: Install PHP dependencies (including dev)
run: composer install --no-interaction --prefer-dist --ignore-platform-reqs
- name: Lint PHP sources (exclude vendor)
run: |
php -l index.php
php -l login.php
php -l logout.php
php -l top.php
php -l tsugi.php
php -l about.php
find admin api assertions cc cron dev ext gclass lms lti mod settings store util -name '*.php' -print0 | xargs -0 -n 1 php -l
- name: PHPStan (dead code + array shape)
run: vendor/bin/phpstan analyse -c phpstan.neon --memory-limit=1G --no-progress