Call 'minetest.global_exists' to check for 'intllib' mod

[AntumDeluge]

Fixes 'Undeclared global variable "intllib"'.

[HybridDog]

Why not simply if minetest.global_exists("intllib") then?

[AntumDeluge]

Yes, I suppose that is smarter since it is only called once.

[AntumDeluge]

I'm fairly new to pull requests on GitHub. Is creating a new commit, like I did, okay? Or is it better to reset & overwrite branch so that unaccepted commits are not in history? Or will that mess up the pull request?

[HybridDog]

If you adjust your changes, you can run git add -A && git commit --amend; with the amend flag it doesn't add a new commit but changes the last one.
If you make different changes and for any reason don't want to open another PR, you can add another commit.
If you want to reorder commits or put some together, run git rebase -i and squash, move, rename, etc.

[AntumDeluge]

Okay, I'm understanding now. If I amend & force overwrite the remote branch it won't affect the PR because it is in relation to the branch, not the commit itself.

[HybridDog]

Yes, for pull requests you likely often need to force-push.
However, if the PR is closed, you can't reopen it after force-pushing (my experience ;¬).

[AntumDeluge]

Thanks again for the advice @HybridDog.

[bdjnk]

Thanks @AntumDeluge. Much appreciated.