You're right, Plesk 12.5 stable was already released in October 2015. In August 2016 we "migrated" our services to Plesk 12.5 (the current version back then), so that was the date I had in mind.
Nevertheless, I still hope that Plesk 12.5 gets support for PHP 7.1 soon.
Thanks and best regards,
RPD