[Wikidata-tech] [Significant Change] lib/WikibaseLib.php is no longer an entry point to the Lib extension