Strange entry in wp-config.php

I just came across the following line in my wp-config.php file and was wondering if this is ok or I have some kind of malware in my site:

$_SERVER[?~@~XHTTPS?~@~Y] = ?~@~Xon?~@~Y;