Change Details

Generated documentation, currently on [[https://doc.wikimedia.org | doc.wikimedia.org]], is not found when users search developer documentation on mediawiki.org. We need cross-site search (Or... revisit publishing static content to mw.org and its license issues). "hashar says that Nik says this is doable". E.g. ElasticSearch can index HTML content on doc.wikimedia.org. Somehow have to search in this as well as some mediawiki.org namespces when searching "Developer documentation."