Update git submodules
authorBrian Wolff <bawolff+wn@gmail.com>
Fri, 4 May 2018 20:30:10 +0000 (20:30 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 5 May 2018 04:56:06 +0000 (04:56 +0000)
* Update extensions/CodeEditor from branch 'REL1_31'
  to 886d7971ae1b04edc463bc7e11d7f5d282ae4f10
  - Add phan-taint-check as version 1.2.0

    Bug: T193909
    Change-Id: Ibbfa1554ed1fe4dcaba2629abf608b59a2dd2733
    (cherry picked from commit e9df595a2670e967fd5005b87fa401287cc18a48)

extensions/CodeEditor

index 422d018..886d797 160000 (submodule)
@@ -1 +1 @@
-Subproject commit 422d0186bd4f5f5653683b8cb79c0f7cb6fe2a92
+Subproject commit 886d7971ae1b04edc463bc7e11d7f5d282ae4f10