Updated mediawiki/extensions
Project: mediawiki/extensions/BookManagerv2  42a24b537192a4794a33063cd8483ad130c20686

Add documentation comments to the JSON editor

Change-Id: I49a3bb1179fcbf1951d907cb4602784b312e8612