Last modified: 2014-10-28 16:42:00 UTC
on https://test2.wikipedia.org or on https://www.mediawiki.org pick any page click "Download as PDF" see message "This page should automatically refresh every few seconds. If this does not work, please press your browser's refresh button." Page does not refresh, although PDF is generated and is available upon re-loading the page. This is a regression problem, it had been working correctly for some time: https://integration.wikimedia.org/ci/job/browsertests-PdfHandler-test2.wikipedia.org-linux-firefox-sauce/
Chris: what beta features do you have enabled?
(This is actually a bug in the Collection extension, which is providing the frontend UI here.)
Bug 71993 seems related but isn't fixed by reloading the page.
Fixed by a number of patches to the Collection extension: https://gerrit.wikimedia.org/r/167818 https://gerrit.wikimedia.org/r/166611 https://gerrit.wikimedia.org/r/166606 See also bug 72003.