<?php

public function upload_s3_file($file_ptr_or_name,
                               string $key,
                               ?string $content_type = null,
                               ?string $download_filename = null)
{
}

?>
