Last modified: 2014-09-25 12:42:14 UTC
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?
(I'm not talking about puppet on the servers but about puppet for vagrant.)
As documented clearly in this file, it should not be used as entry point by anything but Jenkins. It is there since Jenkins assumes all git repos have an entry point at RepoName/RepoName.php. Apparently puppet does the same? Broken software is broken... I'd rather have this thing deleted altogether, though Jenkins needs to be fixed first.
Is this still relevant?