https://bugzilla.wikimedia.org/show_bug.cgi?id=37992

Sam Reed (reedy) <[email protected]> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|shellpolicy                 |shell
           Severity|normal                      |enhancement

--- Comment #6 from Sam Reed (reedy) <[email protected]> 2012-07-27 21:02:52 
UTC ---
(In reply to comment #5)
> (In reply to comment #4)
> > Consensus?
> 
> I believe this extension falls under general MediaWiki enhancements and 
> doesn't
> require local community consensus to enable.
> 
> Do you feel otherwise? If so, how would you recommend moving forward?

I'd agree with you. It should be an unobtrusive benefit for anyone with a
browser that works with it.

And even then, it's got a preference to turn it on/off

-- 
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
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l

Reply via email to