From 20151a767024abb56632b906899d638113598408 Mon Sep 17 00:00:00 2001 From: "James D. Forrester" Date: Mon, 10 Sep 2018 14:47:54 -0700 Subject: [PATCH] jsduck: Fix OOUI resource links The theme was renamed from 'mediawiki' to 'wikimediaui' months ago, at which point these files would have broken. oojs-ui-local.css doesn't currently exist, and possibly hasn't for a long while(?). Change-Id: Ib2f77ff357b8cf51c5ae00df6f187fca4a91be15 --- maintenance/jsduck/eg-iframe.html | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/maintenance/jsduck/eg-iframe.html b/maintenance/jsduck/eg-iframe.html index a3d33d87f6..9531792443 100644 --- a/maintenance/jsduck/eg-iframe.html +++ b/maintenance/jsduck/eg-iframe.html @@ -90,11 +90,10 @@ background: #fff; } - - - - - + + + +