local_copy_object.php: restore copyright header