@PHP73Migration
Rules to improve code for PHP 7.3 compatibility.
You should use @PHP7x3Migration instead.
@PHP7x3Migration