Great:) The change wasn't necessary, since it was already done on github, so it would be updated the next time Translatewiki synced with github (next weekend).