At https://en.wikisource.org/wiki/Special:Permalink/6854927#Add_portals_to_default_search the English Wikisource community has reached a consensus to have the portal namespace (ns:100 locally) added to the defaultsearch for the wiki (new users and IP address users). At someone's convenience could that change be made. Thanks.
Description
Description
Details
Details
Related Changes in Gerrit:
| Subject | Repo | Branch | Lines +/- | |
|---|---|---|---|---|
| Add NS:100 to wgNamespacesToBeSearchedDefault for enwikisource | operations/mediawiki-config | master | +1 -1 |
Event Timeline
Comment Actions
Change 358059 had a related patch set uploaded (by Framawiki; owner: Framawiki):
[operations/mediawiki-config@master] Add NS:100 to wgNamespacesToBeSearchedDefault for enwikisource
Comment Actions
Change 358059 merged by jenkins-bot:
[operations/mediawiki-config@master] Add NS:100 to wgNamespacesToBeSearchedDefault for enwikisource
Comment Actions
Mentioned in SAL (#wikimedia-operations) [2017-06-12T18:30:14Z] <thcipriani@tin> Synchronized wmf-config/InitialiseSettings.php: SWAT: [[gerrit:358059|Add NS:100 to wgNamespacesToBeSearchedDefault for enwikisource]] T167511 (duration: 00m 41s)