https://bugzilla.wikimedia.org/show_bug.cgi?id=52708
Web browser: ---
Bug ID: 52708
Summary: Add Index namespace to
$wgNamespacesToBeSearchedDefault by default
Product: MediaWiki extensions
Version: master
Hardware: All
OS: All
Status: NEW
Severity: enhancement
Priority: Unprioritized
Component: ProofreadPage
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected], [email protected],
[email protected]
Depends on: 37483
Classification: Unclassified
Mobile Platform: ---
Now that bug 37483 has been fixed, it is possible to apply some settings to the
namespaces.
Most or all Wikisources add the Index namespace to the namespaces selected by
default for search; it makes sense to do this directly from the extension and
to handle exceptions via configuration.
--
You are receiving this mail because:
You are the assignee for the bug.
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
