Skip to content

Fix type errors in WikipediaBot - #5719

Merged
GlazerMann merged 1 commit into
ms609:masterfrom
redalert2fan:fix/wikipediabot-type-annotations
Aug 7, 2026
Merged

Fix type errors in WikipediaBot#5719
GlazerMann merged 1 commit into
ms609:masterfrom
redalert2fan:fix/wikipediabot-type-annotations

Conversation

@redalert2fan

Copy link
Copy Markdown
Contributor

Type response2page() and reset() as stdClass (json_decode output) so property access is valid. Guard session_name()/session_id() false returns before setcookie. Type API_ROOT as non-empty-string for the curl_setopt_array stub. Resolves 8 PHPStan level 7 errors.

Type response2page() and reset() as stdClass (json_decode output) so
property access is valid. Guard session_name()/session_id() false
returns before setcookie. Type API_ROOT as non-empty-string for the
curl_setopt_array stub. Resolves 8 PHPStan level 7 errors.
@GlazerMann
GlazerMann merged commit c3d7a1a into ms609:master Aug 7, 2026
21 checks passed
@redalert2fan
redalert2fan deleted the fix/wikipediabot-type-annotations branch August 7, 2026 23:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants