{"action":"created","issue":{"url":"https://api.github.com/repos/wmde/WikibaseInternalSerialization/issues/91","labels_url":"https://api.github.com/repos/wmde/WikibaseInternalSerialization/issues/91/labels{/name}","comments_url":"https://api.github.com/repos/wmde/WikibaseInternalSerialization/issues/91/comments","events_url":"https://api.github.com/repos/wmde/WikibaseInternalSerialization/issues/91/events","html_url":"https://github.com/wmde/WikibaseInternalSerialization/pull/91","id":127067749,"number":91,"title":"Use extension registration for MediaWiki credits","user":{"login":"filbertkm","id":135401,"avatar_url":"https://avatars.githubusercontent.com/u/135401?v=3","gravatar_id":"","url":"https://api.github.com/users/filbertkm","html_url":"https://github.com/filbertkm","followers_url":"https://api.github.com/users/filbertkm/followers","following_url":"https://api.github.com/users/filbertkm/following{/other_user}","gists_url":"https://api.github.com/users/filbertkm/gists{/gist_id}","starred_url":"https://api.github.com/users/filbertkm/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/filbertkm/subscriptions","organizations_url":"https://api.github.com/users/filbertkm/orgs","repos_url":"https://api.github.com/users/filbertkm/repos","events_url":"https://api.github.com/users/filbertkm/events{/privacy}","received_events_url":"https://api.github.com/users/filbertkm/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":13,"created_at":"2016-01-17T01:30:01Z","updated_at":"2016-01-18T22:08:58Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/wmde/WikibaseInternalSerialization/pulls/91","html_url":"https://github.com/wmde/WikibaseInternalSerialization/pull/91","diff_url":"https://github.com/wmde/WikibaseInternalSerialization/pull/91.diff","patch_url":"https://github.com/wmde/WikibaseInternalSerialization/pull/91.patch"},"body":"this also fixes the broken license link on Special:Version"},"comment":{"url":"https://api.github.com/repos/wmde/WikibaseInternalSerialization/issues/comments/172667441","html_url":"https://github.com/wmde/WikibaseInternalSerialization/pull/91#issuecomment-172667441","issue_url":"https://api.github.com/repos/wmde/WikibaseInternalSerialization/issues/91","id":172667441,"user":{"login":"filbertkm","id":135401,"avatar_url":"https://avatars.githubusercontent.com/u/135401?v=3","gravatar_id":"","url":"https://api.github.com/users/filbertkm","html_url":"https://github.com/filbertkm","followers_url":"https://api.github.com/users/filbertkm/followers","following_url":"https://api.github.com/users/filbertkm/following{/other_user}","gists_url":"https://api.github.com/users/filbertkm/gists{/gist_id}","starred_url":"https://api.github.com/users/filbertkm/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/filbertkm/subscriptions","organizations_url":"https://api.github.com/users/filbertkm/orgs","repos_url":"https://api.github.com/users/filbertkm/repos","events_url":"https://api.github.com/users/filbertkm/events{/privacy}","received_events_url":"https://api.github.com/users/filbertkm/received_events","type":"User","site_admin":false},"created_at":"2016-01-18T22:08:58Z","updated_at":"2016-01-18T22:08:58Z","body":"renamed the file to mediawiki-extension.json   we are using the extension registration process. Hopefully  'mediawiki-extension.json' makes that clear enough and clear that it is a mediawiki-specific file.\r\n\r\nit still would be good to make SpecialVersion and siteinfo api more flexible to allow putting such library as this in the libraries section. (see https://phabricator.wikimedia.org/T123937)\r\n\r\nI realize that for these libraries, we should at least maintain some compatibility with older mediawiki versions. My change works with 1.25+ and if using an older version, then the library is simply not listed in Special:Version, and otherwise the library should still work."}}