diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2015-12-17 09:15:42 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2015-12-17 09:44:51 +0100 |
commit | a1789ddde42033f1b05cc4929491214ee6e79383 (patch) | |
tree | 63615735c4ddffaaabf2428946bb26f90899f7bf /includes/WebStart.php | |
parent | 9e06a62f265e3a2aaabecc598d4bc617e06fa32d (diff) |
Update to MediaWiki 1.26.0
Diffstat (limited to 'includes/WebStart.php')
-rw-r--r-- | includes/WebStart.php | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/includes/WebStart.php b/includes/WebStart.php index 9c71f3e1..f5a4f93b 100644 --- a/includes/WebStart.php +++ b/includes/WebStart.php @@ -78,7 +78,6 @@ if ( $IP === false ) { # Grab profiling functions require_once "$IP/includes/profiler/ProfilerFunctions.php"; -$wgRUstart = wfGetRusage() ?: array(); # Start the autoloader, so that extensions can derive classes from core files require_once "$IP/includes/AutoLoader.php"; @@ -137,3 +136,8 @@ if ( ob_get_level() == 0 ) { if ( !defined( 'MW_NO_SETUP' ) ) { require_once "$IP/includes/Setup.php"; } + +# Multiple DBs or commits might be used; keep the request as transactional as possible +if ( isset( $_SERVER['REQUEST_METHOD'] ) && $_SERVER['REQUEST_METHOD'] === 'POST' ) { + ignore_user_abort( true ); +} |