History log of /web-php/download-docs.php (Results 1 – 25 of 115)
Revision Date Author Comments
# c093fb53 06-Dec-2023 Andreas Möller

Enhancement: Enable `trailing_comma_in_multiline` fixer (#647)

* Enhancement: Enable and configure trailing_comma_in_multiline fixer

* Fix: Run 'make coding-standards'


# 1ebc2c49 22-Aug-2022 Andreas Möller

Enhancement: Enable `binary_operator_spaces` fixer

Closes GH-667.


# d9bcfed4 22-Aug-2022 Andreas Möller

Enhancement: Enable `array_syntax` fixer

Co-authored-by: MathiasReker <mathias@reker.dk>

Closes GH-659.


# d7e1b815 15-Jul-2022 Andreas Möller

Enhancement: Enable `constant_case` fixer

Co-authored-by: MathiasReker <mathias@reker.dk>

Closes GH-660.


# c68e5a9e 12-Jul-2022 Andreas Möller

Enhancement: Enable `single_space_after_construct` fixer

Closes GH-640.


# 26e53d3a 11-Jul-2022 Andreas Möller

Fix: Remove commented out formats

Closes GH-635.


# b0a7d5de 11-Nov-2020 Christoph M. Becker

Add reference to archived PHP 5 docs


# 2735e5f0 31-May-2019 Sara Golemon

Swap uses of _SERVER[DOCUMENT_ROOT] for __DIR__

1/n - Update / and /include/ only.


# b2b48ca1 29-Mar-2019 Derick Rethans

Remove references, redirects, and selection of mirrors


# e235f794 17-Oct-2018 Peter Kokot

Trim trailing whitespace

This patch cleans all redundant trailing whitespace across the
repository except for the icalendar files.


# 0f95b8c7 30-Jun-2018 Peter Kokot

Remove unused Git attributes ident

The $Id$ keywords were used in Subversion where they can be substituted
with filename, last revision number change, last changed date, and last
use

Remove unused Git attributes ident

The $Id$ keywords were used in Subversion where they can be substituted
with filename, last revision number change, last changed date, and last
user who changed it.

In Git this functionality is different and can be done with Git attribute
ident. These need to be defined manually for each file in the
.gitattributes file and are afterwards replaced with 40-character
hexadecimal blob object name which is based only on the particular file
contents.

This patch simplifies handling of $Id$ keywords by removing them since
they are not used anymore.

show more ...


# 62a4b96a 17-Aug-2014 Sobak

Language improvements (thanks Peter!)


# 91a00933 17-Aug-2014 Sobak

Warn users about PHP 4 manual status


# 1c41366d 06-Jun-2014 Michael

Revert "Replace <small> with <span style"

This reverts commit 12f04c0d4a005342080eacf8eb5440037cd3288d.


# 12f04c0d 05-Jun-2014 Michael

Replace <small> with <span style

Replace <small> with <span style="font-size:0.8em"> because the
definition of <small> is a complete other with HTML5


# 5bfef25e 04-Jun-2014 Michael

Kill off XHTML

Long live HTML5! =)


# 1d4c36b0 28-May-2014 philip

Removed the CHM viewer section, as it's a moving target


# bd7abd1e 21-May-2014 Adam Harvey

Reinstate the sidebar.


# 25acd115 11-Dec-2013 Adam Harvey

Move the download-docs warning out of the list to avoid formatting weirdness.


# 4472f99b 11-Dec-2013 Adam Harvey

Remove the note about the many HTML files tarball not having a directory.

Fixes bug #66197 (Incorrect info on HTML documentation download).


# 586bfaf0 22-Oct-2013 Hannes Magnusson

Revert "Hiding CHM builds for now. See bug #64842"

This reverts commit de51de5838afb784259bf1b338f37f9e795fa157.

The CHM should be available again \o/


# de51de58 09-Jul-2013 philip

Hiding CHM builds for now. See bug #64842


# b27026e1 12-May-2011 Philip Olson

Added information about pman availability and usage


# 4d7f704b 23-Feb-2011 Philip Olson

- Enabled the new enhanced chm format (chm with user notes)
- This script now bases format type on 'formatname' instead of 'extension' as we now have two .chm files
- This script needs refact

- Enabled the new enhanced chm format (chm with user notes)
- This script now bases format type on 'formatname' instead of 'extension' as we now have two .chm files
- This script needs refactoring, and caching

show more ...


# 60d5c3b9 28-Dec-2010 Hannes Magnusson

Add current config option (ignored in old-web), and FIXME placeholders for pages
not in any menu yet


12345