[Bug 61155] VisualEditor: Selecting border in Media SettingsAdvanced Settings does not add any value to the image type field

https://bugzilla.wikimedia.org/show_bug.cgi?id=61155 --- Comment #11 from ryasm...@wikimedia.org --- Verified the fix in production:https://en.wikipedia.org/w/index.php?title=User:RYasmeen_%28WMF%29/sandboxveaction=edit -- You are receiving this mail because: You are on the CC list for the bug.

[Bug 61155] VisualEditor: Selecting border in Media SettingsAdvanced Settings does not add any value to the image type field

https://bugzilla.wikimedia.org/show_bug.cgi?id=61155 --- Comment #10 from ryasm...@wikimedia.org --- Verified the fix in test2 -- You are receiving this mail because: You are on the CC list for the bug. ___ Wikibugs-l mailing list

[Bug 61155] VisualEditor: Selecting border in Media SettingsAdvanced Settings does not add any value to the image type field

https://bugzilla.wikimedia.org/show_bug.cgi?id=61155 --- Comment #8 from Gerrit Notification Bot gerritad...@wikimedia.org --- Change 115939 merged by jenkins-bot: Deal with 'none'/'border' and default size in media edit https://gerrit.wikimedia.org/r/115939 -- You are receiving this mail

[Bug 61155] VisualEditor: Selecting border in Media SettingsAdvanced Settings does not add any value to the image type field

https://bugzilla.wikimedia.org/show_bug.cgi?id=61155 James Forrester jforres...@wikimedia.org changed: What|Removed |Added Status|PATCH_TO_REVIEW |RESOLVED

[Bug 61155] VisualEditor: Selecting border in Media SettingsAdvanced Settings does not add any value to the image type field

https://bugzilla.wikimedia.org/show_bug.cgi?id=61155 --- Comment #9 from ryasm...@wikimedia.org --- Verified the fix in Betalabs -- You are receiving this mail because: You are on the CC list for the bug. ___ Wikibugs-l mailing list

[Bug 61155] VisualEditor: Selecting border in Media SettingsAdvanced Settings does not add any value to the image type field

https://bugzilla.wikimedia.org/show_bug.cgi?id=61155 Gerrit Notification Bot gerritad...@wikimedia.org changed: What|Removed |Added Status|REOPENED

[Bug 61155] VisualEditor: Selecting border in Media SettingsAdvanced Settings does not add any value to the image type field

https://bugzilla.wikimedia.org/show_bug.cgi?id=61155 --- Comment #7 from Gerrit Notification Bot gerritad...@wikimedia.org --- Change 115939 had a related patch set uploaded by Mooeypoo: [wip] Deal with 'none'/'border' and default size in media edit https://gerrit.wikimedia.org/r/115939 -- You

[Bug 61155] VisualEditor: Selecting border in Media SettingsAdvanced Settings does not add any value to the image type field

https://bugzilla.wikimedia.org/show_bug.cgi?id=61155 ryasm...@wikimedia.org changed: What|Removed |Added Status|RESOLVED|REOPENED

[Bug 61155] VisualEditor: Selecting border in Media SettingsAdvanced Settings does not add any value to the image type field

https://bugzilla.wikimedia.org/show_bug.cgi?id=61155 --- Comment #6 from ryasm...@wikimedia.org --- Created attachment 14708 -- https://bugzilla.wikimedia.org/attachment.cgi?id=14708action=edit Screenshot -- You are receiving this mail because: You are on the CC list for the bug.

[Bug 61155] VisualEditor: Selecting border in Media SettingsAdvanced Settings does not add any value to the image type field

https://bugzilla.wikimedia.org/show_bug.cgi?id=61155 --- Comment #4 from Gerrit Notification Bot gerritad...@wikimedia.org --- Change 112041 merged by jenkins-bot: Revamp media edit dialog's position widget https://gerrit.wikimedia.org/r/112041 -- You are receiving this mail because: You are

[Bug 61155] VisualEditor: Selecting border in Media SettingsAdvanced Settings does not add any value to the image type field

https://bugzilla.wikimedia.org/show_bug.cgi?id=61155 James Forrester jforres...@wikimedia.org changed: What|Removed |Added Status|PATCH_TO_REVIEW |RESOLVED

[Bug 61155] VisualEditor: Selecting border in Media SettingsAdvanced Settings does not add any value to the image type field

https://bugzilla.wikimedia.org/show_bug.cgi?id=61155 James Forrester jforres...@wikimedia.org changed: What|Removed |Added Priority|Unprioritized |High

[Bug 61155] VisualEditor: Selecting border in Media SettingsAdvanced Settings does not add any value to the image type field

https://bugzilla.wikimedia.org/show_bug.cgi?id=61155 --- Comment #1 from Moriel Schottlender mor...@gmail.com --- Cannot replicate in master in both Chrome 32 and Firefox 27 under Ubuntu. -- You are receiving this mail because: You are on the CC list for the bug.

[Bug 61155] VisualEditor: Selecting border in Media SettingsAdvanced Settings does not add any value to the image type field

https://bugzilla.wikimedia.org/show_bug.cgi?id=61155 --- Comment #2 from Moriel Schottlender mor...@gmail.com --- Found the bug, the wikitext doesn't have |border even though the CE is updated. This commit seems to fix it: https://gerrit.wikimedia.org/r/#/c/112041/ -- You are receiving this

[Bug 61155] VisualEditor: Selecting border in Media SettingsAdvanced Settings does not add any value to the image type field

https://bugzilla.wikimedia.org/show_bug.cgi?id=61155 --- Comment #3 from Gerrit Notification Bot gerritad...@wikimedia.org --- Change 112041 had a related patch set uploaded by Jforrester: Revamp media edit dialog's position widget https://gerrit.wikimedia.org/r/112041 -- You are receiving

[Bug 61155] VisualEditor: Selecting border in Media SettingsAdvanced Settings does not add any value to the image type field

https://bugzilla.wikimedia.org/show_bug.cgi?id=61155 Gerrit Notification Bot gerritad...@wikimedia.org changed: What|Removed |Added Status|NEW