php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login

go to bug id or search bugs for

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 Developer Edit
Welcome back! If you're the original bug submitter, here's where you can edit the bug or add additional notes.
If you forgot your password, you can retrieve your password here.
Password:
Status:
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

Pull Requests

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: Sun Nov 24 04:01:32 2024 UTC