HyperScript 1.7.25

After an update, the jar in the plugins folder is named after the version that is in it.

Changed

• /hyperscript update names the new jar after the new version. Updating HyperScript-1.7.24.jar now leaves HyperScript-1.7.25.jar in the plugins folder instead of the new version under the old name. The old jar is removed when the server stops, or at the next start at the latest.
• A jar you renamed yourself (hs.jar, say) keeps its name, as before.
• If the server ever starts with an older jar although a newer one is there, the console says which file to delete.

Added

• /hyperscript upgrade is the same command as /hyperscript update.