https://bugzilla.wikimedia.org/show_bug.cgi?id=52862

       Web browser: ---
            Bug ID: 52862
           Summary: Use a different file for Jenkins
           Product: MediaWiki extensions
           Version: unspecified
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: Unprioritized
         Component: WikidataRepo
          Assignee: [email protected]
          Reporter: [email protected]
                CC: [email protected]
    Classification: Unclassified
   Mobile Platform: ---

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?

-- 
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l

Reply via email to