* @ingroup Deployment
*/
+use Wikimedia\Rdbms\Database;
+use Wikimedia\Rdbms\DBQueryError;
+use Wikimedia\Rdbms\DBConnectionError;
+
/**
* Class for setting up the MediaWiki database using Postgres.
*
return $status;
}
- /** @var $conn DatabasePostgres */
+ /** @var DatabasePostgres $conn */
$conn = $status->value;
if ( $conn->tableExists( 'archive' ) ) {