Last modified: 2012-06-02 03:34:12 UTC
Created attachment 10167 [details] Correction Many Wikisource use a pr headers gadget in order to set an option that show by default the header and footer of pages of the Page namespace. This gadget set to true a JS variable used by proofreadpage extension. But, with RessourceLoader 2, this gadget is often loaded after extension JS, and doesn't work. This patch solve the problem by adding a checkbox in editing preferences.
I agree it will be cleaner to have an option to set this in user preferences. However, does it work if you add ext.proofreadpage.page as a dependency of the gadget?
No, it doesn't because it is ext.proofreadpage.page that depends on the gadget. See : https://fr.wikisource.org/w/index.php?title=MediaWiki%3AGadgets-definition&diff=3301228&oldid=3301223
Ok. Patch applied in r114004
(In reply to comment #3) > Ok. Patch applied in r114004 For reference, this was reverted in r114398 and then re-merged in <https://gerrit.wikimedia.org/r/3466>.