@PHP71Migration
Rules to improve code for PHP 7.1 compatibility.
You should use @PHP7x1Migration instead.
@PHP7x1Migration