Replace languages.inc globals with I18n\Languages consts (#1121)

The include/languages.inc file was not removed as it's used in other
repositories. It should be removed after migration.

Replace languages.inc globals with I18n\Languages consts (#1121)

The include/languages.inc file was not removed as it's used in other
repositories. It should be removed after migration.

Tests were added to ensure that the global variables and the constants
are in sync with each other.

Signed-off-by: Maurício Meneghini Fauth <mauricio@mfauth.net>

show more ...

Enhancement: Enable `trailing_comma_in_multiline` fixer (#647)

* Enhancement: Enable and configure trailing_comma_in_multiline fixer

* Fix: Run 'make coding-standards'

Simplify links (#580)

Enhancement: Enable `array_syntax` fixer

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

Closes GH-659.

Enhancement: Enable `constant_case` fixer

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

Closes GH-660.

Fix: Remove unused parameter

Closes GH-571.

Migrate away from strftime

Remove mirroiring stats (#405)

Mirrors have been retired

Swap uses of _SERVER[DOCUMENT_ROOT] for __DIR__

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

Remove references, redirects, and selection of mirrors

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

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

move mirror logo from homepage to mirror.php

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

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.

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

interlink mirror related information

fix a typo spotted by shimi

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

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)

Drop search information alltogether, add base page and new include

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

Correcting typo...

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

Correcting function names...

typo