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)
commitb15dfb09cac8b861010c76d0c9b4909a3fe1bfc6
treec84c7b8168452763af807c026daf07e7a2d02a06
parentf00e24f186137a13b01e5f613f59c621f72a39d4
Update git submodules

* 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