|  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
Welcome back! If you're the original bug submitter, here's where you can edit the bug or add additional notes.
If this is not your bug, you can add a comment by following this link.
If this is your bug, but you forgot your password, you can retrieve your password here.
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-2021 The PHP Group
All rights reserved.
Last updated: Fri Jul 23 17:01:23 2021 UTC