Updated mediawiki/extensions
Project: mediawiki/extensions/BookManagerv2  f07af7733f629b4b48ea2f8197ad507ea2d1b699

Update ternary notation

Change-Id: Ibf05a2283bc0e22f81d84f3f17faa4d0240b6cd0