Change Details

To quote Bartosz "Indeed, calling OOUI\Theme::setSingleton() is entirely unnecessary if you also call OutputPage::enableOOUI() (which you usually should when using server-side OOUI widgets, and which this extension correctly does), as the latter calls the former. I reviewed https://gerrit.wikimedia.org/r/#/c/215029/ which added the OutputPage::enableOOUI() call, I did not review or see https://gerrit.wikimedia.org/r/#/c/221459/ which needlessly added the OOUI\Theme::setSingleton() call. If something does actually break if you remove it, please file a bug and assign to me, and I'll debug it."