Skip to content

Conversation

@meisterT
Copy link
Member

@meisterT meisterT commented Dec 7, 2025

No description provided.

Copy link
Member

@vmcj vmcj left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I like consistency, not sure if it really improves the readability here but it also does not make it worse.

@meisterT meisterT added this pull request to the merge queue Dec 8, 2025
Merged via the queue into DOMjudge:main with commit 17ef53d Dec 8, 2025
36 of 40 checks passed
@meisterT meisterT deleted the jd_psr2 branch December 8, 2025 07:22
if ($retval !== DONT_CARE) $retval = $retval_local; // phpcs:ignore Generic.ControlStructures.InlineControlStructure.NotAllowed
if ($retval !== DONT_CARE) {
$retval = $retval_local;
} // phpcs:ignore Generic.ControlStructures.InlineControlStructure.NotAllowed
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This was explicitly marked to not get reformatted, so I wonder what happened here.
I'd prefer the old way, but at least the comment should not be left like this.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants