Player Statistics

[Burbulinis]

Description

This PR aims to add player statistics and closes the beloved and old issue #4687! Here's a slight glimpse of how statistics will look like:

set {_int value} to statistic "leave game" of player

# returns an int, but eh... 'played time of player' exists
set {_play time} to statistic "play_one minute" of player 

# here comes some fun
set {_usage count} to statistic "use item" for grass block of player

set {_pig kill count} to statistic "kill entity" for a pig of player

on player statistic increase:
    send "Wow! The statistic %event-string% increased! It's now %future statistic value%"

on player statistic increase of "use item":
    send event-itemtype

on player statistic increase of "leave game":
    broadcast "wow... %player% left for the %future statistic value%th time..."

---

Target Minecraft Versions: any
Requirements: none
Related Issues: #4687

[TheAbsolutionism]

Suggested change

	"player statistic increase [of %*-strings%]")
	"player statistic increase [of %-strings%]")

Just realized after looking in skriptlang-development
But you dont need the * (literal identifier) here because it can only ever be a literal.

[Efnilite]

Suggested change

	"player statistic increase [of %*-strings%]")
	"player statistic (increase|increment) [of %*-strings%]")

[sovdeeth]

I think the strings should be parsed into actual Statistics whenever possible, for faster comparison and to allow proper errors.
Which leads to asking why they're strings to begin with? Why not just an enum classinfo? jump statistic, walk one cm stat, etc