mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-24 22:35:41 +00:00
5036099906
Though this is already handled by Ie50b63ba5064e85d26 for the server-side, and that should automatically reflect to the client-side. Since we're dealing with cache conditions in wmf-production where the user.options manifest does not yet contain an entry for these relatively new preferences, lets transfer the default value here as well. This does not affect logged-in users (since their user options are always up-to-date and embedded in the page). Also made ve.support.es5 be casted to boolean. Previously it would be a reference to JSON.stringify (if supported), or the bottom value of whichever feature the browser didn't support. Doesn't change any behaviour but should make things slightly more performant when this value is evaluated. Change-Id: I9ca430051ae6f4e603c2d89982e540e455055255 |
||
---|---|---|
.. | ||
styles | ||
targets | ||
ve.init.mw.js | ||
ve.init.mw.Platform.js | ||
ve.init.mw.splitTest.js | ||
ve.init.mw.Target.js |