https://bugzilla.wikimedia.org/show_bug.cgi?id=34942
Web browser: ---
Bug #: 34942
Summary: Add a show Headers preference
Product: MediaWiki extensions
Version: any
Platform: All
OS/Version: All
Status: NEW
Keywords: need-review, patch
Severity: minor
Priority: Unprioritized
Component: ProofreadPage
AssignedTo: [email protected]
ReportedBy: [email protected]
Classification: Unclassified
Mobile Platform: ---
Created attachment 10167
--> https://bugzilla.wikimedia.org/attachment.cgi?id=10167
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.
--
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
