https://bugzilla.wikimedia.org/show_bug.cgi?id=70754
--- Comment #1 from Gerrit Notification Bot gerritadmin@wikimedia.org --- Change 159968 had a related patch set uploaded by John Vandenberg: Raise exception on unknown MediaWiki exception
https://gerrit.wikimedia.org/r/159968