Replace create_function() with a closure

As in 266da0fb89ec4ae5 in extensions/Flow.

Change-Id: I0f6a38761cf1fa2956dad0f44fa023e1a8855df4

diff --git a/maintenance/dumpBackup.php b/maintenance/dumpBackup.php
index 1904325..d4255a0 100644 (file)
--- a/maintenance/dumpBackup.php
+++ b/maintenance/dumpBackup.php
@@ -102,7 +102,9 @@ TEXT
                                $this->fatalError( "Unable to open file {$filename}\n" );
                        }
                        $pages = array_map( 'trim', $pages );
-                       $this->pages = array_filter( $pages, create_function( '$x', 'return $x !== "";' ) );
+                       $this->pages = array_filter( $pages, function ( $x ) {
+                               return $x !== '';
+                       } );
                }
 
                if ( $this->hasOption( 'start' ) ) {