$PlayerVar deprecated

[Mit]

Just in case anyone was still using it, please note that $PlayerVar (and $PlayerTimeVar ) is no longer valid, instead please use $gPlayerVar and $gPlayerTimeVar . (Or bad things may happen). Removing the old format allows for some optimisation on the script engine.