pagevideos: Prevent renaming video if file name prefix is already used
This prevents some issues and weirdnesses with losing the video thumbnail, etc.
#!/bin/sh -
echo "*** Luacheck of Lua locale files:"
luacheck ../share/hedgewars/Data/Locale/*.lua --globals locale -q
echo "Missing translations in Lua locale files:"
grep -c -- "^--" ../share/hedgewars/Data/Locale/*.lua