[Bug 48666] Mediawikiwiki: Make VisualEditor a hidden preference

2013-07-26 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=48666 --- Comment #12 from Gerrit Notification Bot gerritad...@wikimedia.org --- Change 73565 abandoned by Hashar: (bug 50929) Remove 'visualeditor-enable' from $wgHiddenPrefs Reason: A preference to temporarily disable VisualEditor has been

[Bug 48666] Mediawikiwiki: Make VisualEditor a hidden preference

2013-07-22 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=48666 Antoine hashar Musso has...@free.fr changed: What|Removed |Added CC||has...@free.fr

[Bug 48666] Mediawikiwiki: Make VisualEditor a hidden preference

2013-07-22 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=48666 --- Comment #11 from Gerrit Notification Bot gerritad...@wikimedia.org --- Change 73565 had a related patch set uploaded by Helder.wiki: (bug 50929) Remove 'visualeditor-enable' from $wgHiddenPrefs https://gerrit.wikimedia.org/r/73565 -- You

[Bug 48666] Mediawikiwiki: Make VisualEditor a hidden preference

2013-07-16 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=48666 --- Comment #8 from kipod fur.hew...@gmail.com --- my intention was not to offend or attack, it was to draw attention that, to the best of my understanding, hiding the user option did not actually address the actual bug. i think that bug 51411

[Bug 48666] Mediawikiwiki: Make VisualEditor a hidden preference

2013-07-16 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=48666 --- Comment #9 from James Forrester jforres...@wikimedia.org --- (In reply to comment #8) my intention was not to offend or attack, it was to draw attention that, to the best of my understanding, hiding the user option did not actually

[Bug 48666] Mediawikiwiki: Make VisualEditor a hidden preference

2013-07-15 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=48666 James Forrester jforres...@wikimedia.org changed: What|Removed |Added Status|REOPENED|RESOLVED

[Bug 48666] Mediawikiwiki: Make VisualEditor a hidden preference

2013-07-01 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=48666 --- Comment #4 from Gerrit Notification Bot gerritad...@wikimedia.org --- Change 70652 merged by jenkins-bot: Make 'visualeditor-enable' pref hidden on wikis where VE is default https://gerrit.wikimedia.org/r/70652 -- You are receiving this

[Bug 48666] Mediawikiwiki: Make VisualEditor a hidden preference

2013-07-01 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=48666 James Forrester jforres...@wikimedia.org changed: What|Removed |Added Status|ASSIGNED|RESOLVED

[Bug 48666] Mediawikiwiki: Make VisualEditor a hidden preference

2013-06-26 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=48666 Andre Klapper aklap...@wikimedia.org changed: What|Removed |Added Priority|Unprioritized |Normal -- You

[Bug 48666] Mediawikiwiki: Make VisualEditor a hidden preference

2013-06-26 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=48666 --- Comment #3 from Gerrit Notification Bot gerritad...@wikimedia.org --- Related URL: https://gerrit.wikimedia.org/r/70652 (Gerrit Change Ica186b9374ddaa0f2f6b2a84e5dff851011b68a4) -- You are receiving this mail because: You are on the CC

[Bug 48666] Mediawikiwiki: Make VisualEditor a hidden preference

2013-05-21 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=48666 James Forrester jforres...@wikimedia.org changed: What|Removed |Added Status|NEW |ASSIGNED