History log of /web-php/mirror.php (Results 1 – 25 of 25)
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'


# d4fa469d 28-Sep-2022 Kamil Tekiela

Simplify links (#580)


# 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.


# 30796f6f 28-Jun-2022 Andreas Möller

Fix: Remove unused parameter

Closes GH-571.


# ae006c32 05-Jul-2021 Sara Golemon

Migrate away from strftime


# b655da2d 19-May-2021 George Peter Banyard

Remove mirroiring stats (#405)

Mirrors have been retired


# 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


# 190459c7 04-Nov-2018 Peter Kokot

Refactor each() function to foreach()

The each() function has been deprecated since PHP 7.2 and shouldn't be
used anymore:
- http://php.net/manual/en/function.each.php


# 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 ...


# 02093c9c 20-Aug-2014 Peter Cowburn

move mirror logo from homepage to mirror.php

Mirror.php is a much more appropriate place to be showing off our mirror
providers' logos.


# b51b2d08 07-Sep-2012 Adam Harvey

Work through the remaining FIXME pages; put them in their correct categories,
and update aged markup as appropriate.

Yes, I did check the new markup on the non-beta site too.


# 60d5c3b9 28-Dec-2010 Hannes Magnusson

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


# d2e9db91 11-Sep-2006 Gabor Hojtsy

interlink mirror related information


# d70c18a4 10-Feb-2004 Mehdi Achour

fix a typo spotted by shimi


# b6fdc95c 27-Jan-2004 Gabor Hojtsy

more info on official mirrors, and it is only possible to know the provider name if we are dealing with an official mirror, so do not print otherwise


# e7a2250c 13-Aug-2003 Gabor Hojtsy

There were no bug reports on the new layout pages
not working, so add this layout to some more used
pages (but still not to the most used pages)


# b9c58ef5 08-Aug-2003 Gabor Hojtsy

Drop search information alltogether, add base page and new include


# 5fc16e3f 07-Aug-2003 Gabor Hojtsy

Do not inform users on local search support, there is nothing
like this working currently...


# 18078115 24-Mar-2003 Gabor Hojtsy

Correcting typo...


# 870e3ff9 02-Feb-2003 Gabor Hojtsy

The last point had no meaning, as disabled mirrors won't know about
their status as disabled, cause they are disabled because their are not
updated, so the mirrors list is also not up to date

The last point had no meaning, as disabled mirrors won't know about
their status as disabled, cause they are disabled because their are not
updated, so the mirrors list is also not up to date...

show more ...


# 5d2c6ac9 20-Jan-2003 Gabor Hojtsy

Correcting function names...


# 3ec66ba8 19-Jan-2003 Simone Cortesi

typo


# 5ffbb98e 19-Jan-2003 Gabor Hojtsy

Add new information page for users to get
more details about the current mirror site