Replace php_sapi_name() with PHP_SAPI
authorReedy <reedy@wikimedia.org>
Fri, 25 Oct 2013 12:57:26 +0000 (13:57 +0100)
committerReedy <reedy@wikimedia.org>
Fri, 25 Oct 2013 12:57:26 +0000 (13:57 +0100)
Change-Id: I222789cacaa2653c4dac62708ce228674c90af4c

includes/filebackend/FileBackend.php

index f586578..4bcaa7f 100644 (file)
@@ -807,7 +807,7 @@ abstract class FileBackend {
         * @return ScopedCallback|null
         */
        final protected function getScopedPHPBehaviorForOps() {
-               if ( php_sapi_name() != 'cli' ) { // http://bugs.php.net/bug.php?id=47540
+               if ( PHP_SAPI != 'cli' ) { // http://bugs.php.net/bug.php?id=47540
                        $old = ignore_user_abort( true ); // avoid half-finished operations
                        return new ScopedCallback( function() use ( $old ) {
                                ignore_user_abort( $old );