Current configuration on the wiki
Find a file
Gergő Tisza 1682de5e83 SessionManage: Do not save when creating empty session
SessionBackend::save() results in the session provider unpersisting
when the session backend metadata is dirty (which is always true
for a new session). This breaks the tombstone mechanism introduced
in I3a76b67aa51159ebf0195db15cf7c34e00a64a2e: after the manager
refuses to load the tombstoned session, it will create an empty
session, and that will unpersist the session ID and log the user
out if the session ID was the only thing that kept them logged in.

Saving the session has two effects: the unpersisting (invalid
cookies are cleaned up) and saving the session data in in-process
cache (but not the real storage). The latter might cause an extra
session storage read per unauthenticated request, though in theory
it shouldn't as the SessionBackend itself gets cached so a new
session lookup only happens for a different WebRequest object.
Still, if it becomes a problem, we can just add some sort of
explicit cache warming step to empty session creation.

Skipping the unpersisting could mean that invalid (e.g. expired)
session cookies stick around and prevent the user from being
served from edge cache. But for non-tombstoned requests, as long
as there is a syntactically valid session ID and either no user
ID or a user ID pointing to a valid user, CookieSessionProvider
will return a non-null session info, and SessionManager will
reject it and unpersist; and CentralAuthSessionProvider behaves
similarly except for the case when there is no local session
cookie but there is a global session cookie on the second-level
domain. That seems a narrow enough edge case to ignore.

Bug: T299193
Change-Id: Ib34a84d1d3abbce4dcf7433b51abf6e694984c59
2022-05-30 12:32:47 +00:00
.phan Turn DefaultSettings.php into a deprecated stub 2022-05-17 16:50:56 +02:00
.pipeline
cache
docs ResourceLoader namespace (attempt 2) 2022-05-24 15:41:46 +00:00
extensions
images
includes SessionManage: Do not save when creating empty session 2022-05-30 12:32:47 +00:00
languages Localisation updates from https://translatewiki.net. 2022-05-25 08:18:58 +02:00
maintenance ResourceLoader namespace (attempt 2) 2022-05-24 15:41:46 +00:00
mw-config build: Update stylelint-config-wikimedia to 0.13.0 2022-05-04 23:17:03 +01:00
resources Merge "SpecialWhatLinksHere: Convert form to OOUI" 2022-05-25 01:37:16 +00:00
skins
tests Merge "Rest: Return different eTags for different output modes" 2022-05-25 11:34:10 +00:00
.dockerignore
.editorconfig
.eslintignore
.eslintrc.json
.fresnel.yml
.gitattributes
.gitignore
.gitreview
.mailmap
.phpcs.xml ResourceLoader namespace (attempt 2) 2022-05-24 15:41:46 +00:00
.stylelintrc.json build: Update stylelint-config-wikimedia to 0.13.0 2022-05-04 23:17:03 +01:00
.svgo.config.js
.vsls.json
api.php
autoload.php ResourceLoader namespace (attempt 2) 2022-05-24 15:41:46 +00:00
CODE_OF_CONDUCT.md
composer.json Update OOUI dependency in composer.json 2022-05-17 19:27:33 +00:00
composer.local.json-sample
COPYING
CREDITS
DEVELOPERS.md
docker-compose.yml
FAQ
Gruntfile.js
HISTORY
img_auth.php
index.php
INSTALL installer: Require MySQL 5.7+ or MariaDB 10.3+, and distinguish in docs 2022-05-15 18:59:13 -04:00
jsduck.json
load.php ResourceLoader namespace (attempt 2) 2022-05-24 15:41:46 +00:00
opensearch_desc.php
package-lock.json build: Update stylelint-config-wikimedia to 0.13.0 2022-05-04 23:17:03 +01:00
package.json build: Update stylelint-config-wikimedia to 0.13.0 2022-05-04 23:17:03 +01:00
phpunit.xml.dist
README.md
RELEASE-NOTES-1.38 Update RELEASE-NOTES-1.38 2022-05-20 19:58:09 +00:00
RELEASE-NOTES-1.39 ResourceLoader namespace (attempt 2) 2022-05-24 15:41:46 +00:00
rest.php
SECURITY
thumb.php
thumb_handler.php
UPGRADE

MediaWiki

MediaWiki is a free and open-source wiki software package written in PHP. It serves as the platform for Wikipedia and the other Wikimedia projects, used by hundreds of millions of people each month. MediaWiki is localised in over 350 languages and its reliability and robust feature set have earned it a large and vibrant community of third-party users and developers.

MediaWiki is:

  • feature-rich and extensible, both on-wiki and with hundreds of extensions;
  • scalable and suitable for both small and large sites;
  • simple to install, working on most hardware/software combinations; and
  • available in your language.

For system requirements, installation, and upgrade details, see the files RELEASE-NOTES, INSTALL, and UPGRADE.

MediaWiki is the result of global collaboration and cooperation. The CREDITS file lists technical contributors to the project. The COPYING file explains MediaWiki's copyright and license (GNU General Public License, version 2 or later). Many thanks to the Wikimedia community for testing and suggestions.