Update OOjs UI to v0.23.5

Authored by Jdforrester-WMF on Oct 12 2017, 9:28 PM.