<?php

/**
 * @deprecated 7.0.7
 */
function f(): void {}
