Alias alternate titles of Arena of Valor

BUR #11791 has been approved by @evazion.

create alias strike_of_kings -> arena_of_valor
create alias realm_of_valor -> arena_of_valor

These are the alternate names of the mobile game Arena of Valor. "Strike of Kings" was the former title when it was released in 2016, while "Realm of Valor" is the title used in Thailand. The game is also more well-known by its abbriviation "AOV" and "ROV" respectively. So, I think these should be added as an alias. Since there's at least one fanart that tagged "Realm of Valor" instead of "Arena of Valor" despite both were the same game.

We don't need aov (game) or rov (game) aliases. There are too many copyrights to make abbreviations for each one. You can type /aov instead if you want a shortcut. This works for any tag.

evazion said:

We don't need aov (game) or rov (game) aliases. There are too many copyrights to make abbreviations for each one. You can type /aov instead if you want a shortcut. This works for any tag.

Done. Edited the request.

The bulk update request #11791 (forum #219367) has been approved by @evazion.