Updated mediawiki/extensions
Project: mediawiki/extensions/CodeEditor  411ca4eaf1ec722d94c8853c12594e2ef3067be4

Allow the CodeEditor in read only mode

Depends on: I6885d617e18562acf0331e8db5790b53b489dbc2
Bug: 45258
Change-Id: Ie69e9c33bc307ec34abb7dcf3f427cfbe407fde3