[Bug 71565] eliminate settings closure in WikibaseLib.default.php

2014-11-07 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=71565 Lydia Pintscher lydia.pintsc...@wikimedia.de changed: What|Removed |Added Status|PATCH_TO_REVIEW |RESOLVED

[Bug 71565] eliminate settings closure in WikibaseLib.default.php

2014-11-04 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=71565 Gerrit Notification Bot gerritad...@wikimedia.org changed: What|Removed |Added Status|NEW

[Bug 71565] eliminate settings closure in WikibaseLib.default.php

2014-11-04 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=71565 --- Comment #1 from Gerrit Notification Bot gerritad...@wikimedia.org --- Change 170917 had a related patch set uploaded by Aude: Eliminate settings closure in WikibaseLib.default.php https://gerrit.wikimedia.org/r/170917 -- You are

[Bug 71565] eliminate settings closure in WikibaseLib.default.php

2014-11-04 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=71565 --- Comment #2 from Gerrit Notification Bot gerritad...@wikimedia.org --- Change 170917 merged by jenkins-bot: Eliminate settings closure in WikibaseLib.default.php https://gerrit.wikimedia.org/r/170917 -- You are receiving this mail

[Bug 71565] eliminate settings closure in WikibaseLib.default.php

2014-10-17 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=71565 John F. Lewis johnflewi...@gmail.com changed: What|Removed |Added Priority|Unprioritized |Normal

[Bug 71565] eliminate settings closure in WikibaseLib.default.php

2014-10-02 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=71565 Aude aude.w...@gmail.com changed: What|Removed |Added Summary|eliminate huge settings |eliminate settings closure