[#9207] Sort school names for userMapData.json

[monmanuela]

Fixes #9207

PR Checklist

Ensure that you have:

• Read and understood our PR guideline: https://github.com/TEAMMATES/teammates/blob/master/docs/process.md#step-4-submit-a-pr
  • Added the issue number to the "Fixes" keyword above
  • Titled the PR as specified in the abovementioned document
• Made your changes on a branch other than master and release
• Gone through all the changes in this PR and ensured that:
  • They addressed one (and only one) issue
  • No unintended changes were made
• Run and passed static analysis: ./gradlew lint and npm run lint
• Added/updated tests, if changes in functionality were involved
• Added/updated documentation to public APIs (classes, methods, variables), if applicable

Outline of Solution

Following @wkurniawan07 's suggestion here, I used javascript's Array.sort() method to reorder the school names for each country.

[wkurniawan07]

While array.sort() works and is the most straightforward way to sort items, it is also taking into account case sensitivity, which results in many out-of-expectation ordering. Can you tweak your sorting script a bit to make it case insensitive?

[monmanuela]

Done!

[wkurniawan07]

Also, can you put the script you used at the root project folder? Preferable if the script updates the file in-place, i.e. after running node sort-usermap (or whatever name you used) I only need to commit and not copy-pasting.

[monmanuela]

Done for both. Should I document about the script somewhere?

[wkurniawan07]

@monmanuela No need to do anything with the script for now; it's good enough where it is.

[wkurniawan07]

LGTM, thanks for your contribution!