|  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
Anyone can comment on a bug. Have a simpler test case? Does it work for you on a different platform? Let us know!
Just going to say 'Me too!'? Don't clutter the database with that please — but make sure to vote on the bug!
Your email address:
Solve the problem:
19 - 10 = ?
Subscribe to this entry?

 [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 16:01:23 2021 UTC