Re-ordering variables in a library should trigger a publish option and push the order change to other files

[JJG]

When publishing color variables in a library and then after re-ordering them, the new order of variables should also be pushed to other files that use that library. That doesn’t happen in this case.