diff --git a/extensions/VisualEditor b/extensions/VisualEditor index 17e4b901bf4..f724f2d1e74 160000 --- a/extensions/VisualEditor +++ b/extensions/VisualEditor @@ -1 +1 @@ -Subproject commit 17e4b901bf43e843253f1d64ae6192786a749c56 +Subproject commit f724f2d1e74dbd8f2c949e2f9fabde1f96419353