Last modified: 2014-08-22 10:01:35 UTC
The https://bugzilla.wikimedia.org/enter_bug.cgi page has a line about OOjs UI. It should link to https://www.mediawiki.org/wiki/OOjs_UI .
Thanks; done now