PHP close tag question mark miscoloured within HTML attributes

[charlesroper]

Description

The question mark in PHP close tags when within an HTML attribute is blue when it should be red.

Steps to reproduce

1. Create a PHP file containing HTML.
2. Put <?php ?> or <?= ?> tags within an HMTL attribute.

Version

v6.3.3

Theme

GitHub Dark Default, GitHub Dark High Contrast, GitHub Dark Colorblind, GitHub Dark Dimmed