Update git submodules
authorDerk-Jan Hartman <hartman.wiki@gmail.com>
Wed, 14 Nov 2018 20:01:22 +0000 (21:01 +0100)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 14 Nov 2018 21:40:38 +0000 (21:40 +0000)
commit107ee818cfd738db3bf1be86a52773e3e7760c0f
treeb6ddc802085604f95f4a9a070c9fac798476f76e
parentb0b7727e5e84d4165408b90787b360f1300babd9
Update git submodules

* Update extensions/WikiEditor from branch 'REL1_31'
  to dca935d7de870eb5352788c0537c172b574f1475
  - Modules: Protect against loading modules twice

    Bug: T189029
    Change-Id: Ie0dff9c1dfa8e3a0927f2915a9a237dff739289a
    (cherry picked from commit 0161e37e6e67ac6eb76fbc0bea4f299e17fcdda2)
extensions/WikiEditor