Added missing PHP syntax coloration

[DerekRoth]

No description provided.

[xabbuh]

Thanks! 👍 For the next time, you can just push changes to the branch you used to create your pull request. This pull request will then be updated. Thus, you won't need to create a new one.

[weaverryan]

Thanks for the fast fix Derek - we only merged this a few days ago :). Cheers!

[xabbuh]

@weaverryan was it intended to close this issue without merging the fix? Or did I oversee something?

[weaverryan]

@xabbuh when I have to switch the branch, the PR doesn't auto-close, so I close it manually after. You will still see the commit referenced here. I think in the core code it auto-closes, don't know what the difference is here :)

[xabbuh]

@weaverryan Sorry, this was my fault. I only looked at the file in the 2.4 branch. Did miss that you merged it into 2.3.

[stof]

@weaverryan the commit message of the merge commit contains closes #3633, which will auto-close when the commit reaches the main branch (master).
And for the core, I don't think it auto-closes either for merges in older branches. I think @fabpot is closing manually (or more likely his merge script is doing the explicit close action after merging) to close without waiting the merge into newer branches

[weaverryan]

@stof thanks for the clarification - I wasn't sure if I was missing something or not - apparently not!