[Mediawiki-l] Running the update.php script through command line