php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Bug #64447 Syntax highlighting is old
Submitted: 2013-03-18 19:09 UTC Modified: 2018-04-29 11:15 UTC
Votes:1
Avg. Score:1.0 ± 0.0
Reproduced:0 of 0 (0.0%)
From: yehuda at ymkatz dot net Assigned:
Status: Analyzed Package: Doc Build problem
PHP Version: Irrelevant OS:
Private report: No CVE-ID: None
View Add Comment Developer Edit
Welcome! If you don't have a Git account, you can't do anything here.
You can add a comment by following this link or if you reported this bug, you can edit this bug over here.
(description)
Block user comment
Status: Assign to:
Package:
Bug Type:
Summary:
From: yehuda at ymkatz dot net
New email:
PHP Version: OS:

 

 [2013-03-18 19:09 UTC] yehuda at ymkatz dot net
Description:
------------
Syntax highlighting on /manual/en/language.oop5.traits.php and potentially other 
files is from a version of the syntax highlighter that did not know about traits.
highlight_* in PHP 5.4 does highlight the keyword trait properly.

Expected result:
----------------
trait keyword should be green instead of blue


Patches

Add a Patch

Pull Requests

Add a Pull Request

History

AllCommentsChangesGit/SVN commitsRelated reports
 [2013-03-21 11:19 UTC] kalle@php.net
-Status: Open +Status: Analyzed -Package: Documentation problem +Package: Doc Build problem
 [2013-03-21 11:19 UTC] kalle@php.net
This is an issue in PhD, as the host machine that renders the manual decide what the syntax color should be.

With ext/tokenizer, we can easily fallback to one that always works despite the host rendering the documentation before its pushed to the mirrors.
 [2013-06-25 05:58 UTC] philip@php.net
This is fine now, but it'll happen with other new syntax in the future. How do we 
handle this? For example, 5.5.0 was just released, are we okay?
 [2015-04-19 13:11 UTC] pasindu@php.net
Currently Seems to work alright but would be a recurring problem with new features coming out.
 [2018-04-29 11:15 UTC] cmb@php.net
-Type: Documentation Problem +Type: Bug
 
PHP Copyright © 2001-2024 The PHP Group
All rights reserved.
Last updated: Tue Mar 19 10:01:30 2024 UTC