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)
* 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

index 277159c..dca935d 160000 (submodule)
@@ -1 +1 @@
-Subproject commit 277159cd3ae6fdafb7f49db3dbfedfa023e81d35
+Subproject commit dca935d7de870eb5352788c0537c172b574f1475