https://bugzilla.wikimedia.org/show_bug.cgi?id=35747
Web browser: ---
Bug #: 35747
Summary: Search function shouldn't be disabled on protected
pages
Product: MediaWiki extensions
Version: any
Platform: All
OS/Version: All
Status: NEW
Keywords: easy, javascript
Severity: normal
Priority: Unprioritized
Component: WikiEditor
AssignedTo: wikibugs-l@lists.wikimedia.org
ReportedBy: mybugs.m...@gmail.com
CC: roan.katt...@gmail.com, tpars...@wikimedia.org
Classification: Unclassified
Mobile Platform: ---
Although the "replace" function is not useful on pages the user can't edit,
such as
https://en.wikipedia.org/wiki/MediaWiki:Common.js?action=edit
the "find" function is still desirable (mainly because browsers usually doesn't
allow regex search when using CTRL+F.
--
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
------- 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
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
