uuid in skript breaks entire thing

[LouaeIsmail]

Hi, I need help with this skript. If I use %player% it works perfectly, but if someone changes their name, their stats are reset. So I try using %player's uuid% or %uuid of player% and then it just doesn't let you mine, doesn't give you xp, etc.
heres one of them
on mine of stone:
if {mininglevel.%uuid of player%} is not set:
if player is in world "(i put the world name)":
add 1 to {miningprogress1.%uuid of player%}
set block to bedrock

I've tried %player's uuid% %player_uuid% and more. I got placeholderapi and when I download ersatz it doesnt load in, but i downloaded a normal skript placeholder api expansion and that loaded in but the skript wont work.

 

[skipperj7]

You could use player.getUniqueId() and if needed put it to a string with .toString()

 

[DDarkInferno]

You could use player.getUniqueId() and if needed put it to a string with .toString()

He's asking for skript help, not java

 

[Lypaka]

That's skript-mirror code, a Skript addon supporting use of Java methods and imports.

Furthermore,
set {uuid::%player%} to the player's uuid
if {mininglevel.%{uuid::%player%}%}