Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  0ae19ffa4082ff09dd9cab57ad9bbe86a2a3a7c1

Set contentEditable using jQuery#prop

Also always use strings 'true'/'false' for the value, because
it is a string property (spellcheck, however, is a boolean)
and always use a capital second 'E' in the name.

Change-Id: Ia4e1f9edfd8f236fe81df190e6a68729d7b52243