Merge "Update OOjs UI to v0.12.0"