test(phpstan): enable PHPStan level 3 for Pages/Ajax/

[JohnVillalovos]

Resolve PHPStan level 3 issues found when enabling checking of the Pages/Ajax/ directory.

[Copilot]

Pull request overview

Enables PHPStan “next” (level 3) analysis for Pages/Ajax/ by removing the exclusion and applying type-tightening fixes in Ajax pages so those files pass stricter static analysis.

Changes:

• Removed Pages/Ajax/ from phpstan_next.neon excludePaths.
• Normalized various Ajax request IDs to int to match documented contracts.
• Tightened some PHPDoc types / return values used by reservation Ajax flows.

Reviewed changes

Copilot reviewed 12 out of 12 changed files in this pull request and generated 2 comments.

Show a summary per file

File	Description
phpstan_next.neon	Removes the Pages/Ajax/ exclusion to include it in PHPStan level 3 checks.
lib/Application/Reservation/ReservationRetryParameter.php	Updates PHPDoc return type for retry parameter parsing.
Pages/Ajax/UnavailableResourcesPage.php	Casts schedule ID query param to int.
Pages/Ajax/ResourceDetailsPage.php	Casts resource ID to int; updates repository PHPDoc to interface type.
Pages/Ajax/ReservationWaitlistPage.php	Casts posted user/resource IDs to int.
Pages/Ajax/ReservationUserAvailabilityPage.php	Casts schedule ID query param to int.
Pages/Ajax/ReservationUpdatePage.php	Provides default update scope and returns it as a string.
Pages/Ajax/ReservationSavePage.php	Casts posted IDs to int; normalizes additional resource IDs to int[]; adds local type assertion for retry params.
Pages/Ajax/ReservationMovePage.php	Casts posted resource IDs to int.
Pages/Ajax/ReservationCreditsPage.php	Casts posted IDs to int; normalizes additional resource IDs to int[].
Pages/Ajax/ReservationAttributesPrintPage.php	Casts requested user ID query param to int.
Pages/Ajax/ReservationAttributesPage.php	Casts requested user ID query param to int.

[Copilot]

Pull request overview

Copilot reviewed 12 out of 12 changed files in this pull request and generated no new comments.