subject:"\[Bug 37987\] Hide edit tools if the user can't edit."

[Bug 37987] Hide edit tools if the user can't edit

2012-12-13 Thread bugzilla-daemon

https://bugzilla.wikimedia.org/show_bug.cgi?id=37987 Anja Jentzsch changed: What|Removed |Added Summary|Hide edit tools if the user |Hide edit tools if the user

[Bug 37987] Hide edit tools if the user can't edit (8)

2012-11-29 Thread bugzilla-daemon

https://bugzilla.wikimedia.org/show_bug.cgi?id=37987 --- Comment #5 from Anja Jentzsch 2012-11-29 12:38:35 UTC --- Verified in Wikidata demo time for sprint 12 -- Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email --- You are receiving this mail because: --- You

[Bug 37987] Hide edit tools if the user can't edit (8)

2012-11-29 Thread bugzilla-daemon

https://bugzilla.wikimedia.org/show_bug.cgi?id=37987 Anja Jentzsch changed: What|Removed |Added Status|RESOLVED|VERIFIED -- Configure bugmail: https:

[Bug 37987] Hide edit tools if the user can't edit (8)

2012-08-15 Thread bugzilla-daemon

https://bugzilla.wikimedia.org/show_bug.cgi?id=37987 denny vrandecic changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|

[Bug 37987] Hide edit tools if the user can't edit (8)

2012-08-09 Thread bugzilla-daemon

https://bugzilla.wikimedia.org/show_bug.cgi?id=37987 denny vrandecic changed: What|Removed |Added Status|NEW |ASSIGNED -- Configure bugmail: http

[Bug 37987] Hide edit tools if the user can't edit (8)

2012-08-02 Thread bugzilla-daemon

https://bugzilla.wikimedia.org/show_bug.cgi?id=37987 denny vrandecic changed: What|Removed |Added Summary|Hide edit tools if the user |Hide edit tools if the user

[Bug 37987] Hide edit tools if the user can't edit (3)

2012-08-02 Thread bugzilla-daemon

https://bugzilla.wikimedia.org/show_bug.cgi?id=37987 denny vrandecic changed: What|Removed |Added Summary|Hide edit tools if the user |Hide edit tools if the user

[Bug 37987] Hide edit tools if the user can't edit.

2012-08-02 Thread bugzilla-daemon

https://bugzilla.wikimedia.org/show_bug.cgi?id=37987 denny vrandecic changed: What|Removed |Added Priority|Highest |High CC|

[Bug 37987] Hide edit tools if the user can't edit.

2012-07-31 Thread bugzilla-daemon

https://bugzilla.wikimedia.org/show_bug.cgi?id=37987 --- Comment #4 from Krinkle 2012-07-31 22:38:14 UTC --- Lots of things would be nice, but this is what is available now and what most gadgets use. I'd recommend proposing in MediaWiki core an array to javascript with allowed actions on this pa

[Bug 37987] Hide edit tools if the user can't edit.

2012-07-31 Thread bugzilla-daemon

https://bugzilla.wikimedia.org/show_bug.cgi?id=37987 --- Comment #3 from Daniel Kinzler 2012-07-31 19:49:55 UTC --- (In reply to comment #2) > mw.config: > * wgRestrictionEdit (undefined || Array of user groups) > * wgRestrictionMove (undefined || Array of user groups) > * wgUserGroups (Array of