Motivation
Global user ids are a pretty recent thing on mediawiki. Therefore, user names have often been used as a unique identifier. However, now that global user ids exist, they should be used!
Task
When file revisions are copied to Commons, the users mentioned in these file revisions should be defined not only by name, but also by the global user ID.