<?php ?> inside <h1> not highlighted correctly

[teo1978]

I wanted to report this upstream but couldn't figure out where in less than a minute, so I give up and leave that to anyone who will triage this bug.

This is yet another screwup in the syntax highlighting of php code. See the screenshot, it speaks for itself.

From some comment I read about other php syntax highlight issues, I seem to remember that 100%-correct syntax highlight for PHP (that is, matching how the code is _really_ interpreted in reality) is not even theoretically possible with the tool that Gedit currently uses for language definitions (which is, if that is true, poorly designed or the wrong tool).
(example: complex nesting of <?php ?> blocks within "" in html attributes or within <script></script> tags, etc)

However, trivial cases like this one should be possible to fix trivially.

ProblemType: Bug
DistroRelease: Ubuntu 15.10
Package: gedit 3.10.4-0ubuntu13
ProcVersionSignature: Ubuntu 4.2.0-35.40-generic 4.2.8-ckt5
Uname: Linux 4.2.0-35-generic x86_64
NonfreeKernelModules: nvidia
ApportVersion: 2.19.1-0ubuntu5
Architecture: amd64
CurrentDesktop: Unity
Date: Sat Apr 30 16:46:37 2016
InstallationDate: Installed on 2013-10-11 (931 days ago)
InstallationMedia: Ubuntu 13.04 "Raring Ringtail" - Release amd64 (20130424)
SourcePackage: gedit
UpgradeStatus: Upgraded to wily on 2016-01-18 (103 days ago)

[teo1978 (teo8976)]

screenshot

[teo1978 (teo8976)]

This is so trivial that I don't think it's worth waiting for somebody else to confirm, so confirming it myself.

[Sebastien Bacher (seb128)]

Thank you for taking the time to report this bug and helping to make Ubuntu better. The issue you are reporting is an upstream one and it would be nice if somebody having it could send the bug to the developers of the software by following the instructions at https://wiki.ubuntu.com/Bugs/Upstream/GNOME. If you have done so, please tell us the number of the upstream bug (or the link), so we can add a bugwatch that will inform us about its status. Thanks in advance.

[Jeremy Bícha (jbicha)]

I was unable to duplicate this bug on either Ubuntu 14.04 LTS or 16.04 LTS. (Ubuntu 15.10 is no longer supported.)

For easier testing, please attach a sample document.

Are you still experiencing this bug?

What version of Ubuntu and what version of gedit?

What syntax highlighting are you using (HTML or PHP)?

[teo1978 (teo8976)]

Looks like it's fixed

[Launchpad Janitor (janitor)]

[Expired for gtksourceview3 (Ubuntu) because there has been no activity for 60 days.]