Skip to content

Commit

Permalink
declare class variables
Browse files Browse the repository at this point in the history
  • Loading branch information
70ray committed Nov 13, 2024
1 parent 6ac4a12 commit d95eb80
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions pinc/ProofProject.inc
Original file line number Diff line number Diff line change
Expand Up @@ -188,6 +188,8 @@ class WordChecker
public const PUNC_TEXT = 6;
public const UNC_BASE = 10;

private $project, $projectid, $good_char_buffer, $wc_array, $char_type, $text_index, $puncArray, $page_text;

Check failure on line 191 in pinc/ProofProject.inc

View workflow job for this annotation

GitHub Actions / phpstan

Property WordChecker::$char_type is never read, only written.

public function __construct(object $project)
{
global $puncCharacters;
Expand Down

0 comments on commit d95eb80

Please sign in to comment.