Updated mediawiki/extensions
Project: mediawiki/extensions/BookManagerv2  f025ec3432e8d998c1c3704c073ed3d8fbe6c33d

Notice: Undefined variable: jsonPageTitle in BookManagerv2.hooks.php on line 527

Change-Id: I537d1a913ab4e4a4a5c796222d85174eac70b400