[Bug 37187] Don't remove custom user options when using Special:Preferences

2013-01-13 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=37187

Bartosz Dziewoński  changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 CC||matma@gmail.com
Version|1.20.0  |1.21-git
 Resolution|--- |FIXED
   Assignee|wikibugs-l@lists.wikimedia. |matma@gmail.com
   |org |

--- Comment #5 from Bartosz Dziewoński  ---
Fixed by gerrit change I5f9ba5b0.

(See bug 40124 for details and discussion.)

-- 
You are receiving this mail because:
You are the assignee for the bug.
You are watching all bug changes.
___
Wikibugs-l mailing list
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l


[Bug 37187] Don't remove custom user options when using Special:Preferences

2012-12-30 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=37187

Andre Klapper  changed:

   What|Removed |Added

   Priority|Unprioritized   |Low

-- 
You are receiving this mail because:
You are the assignee for the bug.
You are watching all bug changes.
___
Wikibugs-l mailing list
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l


[Bug 37187] Don't remove custom user options when using Special:Preferences

2012-09-10 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=37187

rai...@rillke.eu  changed:

   What|Removed |Added

 CC||rainerril...@hotmail.com

--- Comment #4 from rai...@rillke.eu  2012-09-10 
10:20:32 UTC ---
As pointed out in Bug 40124, this would be a great help for community-scripts
if properly implemented.

-- 
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


[Bug 37187] Don't remove custom user options when using Special:Preferences

2012-06-08 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=37187

--- Comment #3 from duplicate...@googlemail.com 2012-06-08 09:27:47 UTC ---
(In reply to comment #2)
> (In reply to comment #1)
> > The Preferences reset first all to avoid storing all preferences in the
> > database. Custom preferences are unknown to mediawiki and therefor removed.
> > 
> > Maybe custom preferences should by forbidden.
> Can we just remove known preferences?

Sorry, I mean old preferences, see the comment in Preferences.php:

"Keeps old preferences from interfering due to back-compat code, etc."

Custom preferences should be forbidden or there are allow with a fixed prefix,
than it is possible to find that preferences and not removing it.

-- 
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


[Bug 37187] Don't remove custom user options when using Special:Preferences

2012-06-07 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=37187

--- Comment #2 from Liangent  2012-06-08 05:08:23 UTC ---
(In reply to comment #1)
> The Preferences reset first all to avoid storing all preferences in the
> database. Custom preferences are unknown to mediawiki and therefor removed.
> 
> Maybe custom preferences should by forbidden.

Can we just remove known preferences?

-- 
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


[Bug 37187] Don't remove custom user options when using Special:Preferences

2012-06-07 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=37187

duplicate...@googlemail.com changed:

   What|Removed |Added

 CC||duplicate...@googlemail.com

--- Comment #1 from duplicate...@googlemail.com 2012-06-08 00:03:11 UTC ---
The Preferences reset first all to avoid storing all preferences in the
database. Custom preferences are unknown to mediawiki and therefor removed.

Maybe custom preferences should by forbidden.

-- 
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