|  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Request #70191 Offline documentation misses stylesheet
Submitted: 2015-08-04 09:58 UTC Modified: 2015-08-07 23:42 UTC
Avg. Score:1.0 ± 0.0
Reproduced:0 of 1 (0.0%)
From: wk at xn--wolfgang-khler-4pb dot de Assigned:
Status: Verified Package: Doc Build problem
PHP Version: Irrelevant OS: irrelevant
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.
Block user comment
Status: Assign to:
Bug Type:
From: wk at xn--wolfgang-khler-4pb dot de
New email:
PHP Version: OS:


 [2015-08-04 09:58 UTC] wk at xn--wolfgang-khler-4pb dot de
I downloaded the PHP documentation today and yesterday (English, German, HTML one file, HTML many files).

In the html files, certain class names are referenced. However, no stylesheet is referenced in the <header>-section.

There should be a stylesheet referenced in the header-section, even if this stylesheet is empty. This allows to format and customize the layout of the manual easily.


Add a Patch

Pull Requests

Add a Pull Request


AllCommentsChangesGit/SVN commitsRelated reports
 [2015-08-07 23:39 UTC]
-Status: Open +Status: Verified -Package: Documentation problem +Package: Doc Build problem
 [2015-08-07 23:40 UTC]
-Type: Documentation Problem +Type: Bug
 [2015-08-07 23:42 UTC]
-Type: Bug +Type: Feature/Change Request
 [2015-08-07 23:42 UTC]
Well, on further consideration this is not necessarily a bug, but rather a feature request.
PHP Copyright © 2001-2024 The PHP Group
All rights reserved.
Last updated: Sun Apr 14 18:01:30 2024 UTC