extensions/Wikibase/Wikibase.php is used for Jenkins (see lines 20-27). This is disturbing for puppet which looks for the "real" extension in this file. For a repo made from puppet deleting these lines works. How about the client? Could you drop them?
Version: unspecified
Severity: normal