It's very fast! Also, as far as I know, it's not easy to search all extensions at once on Github, which makes this tool even more valuable.
Thanks for sharing. Amir Ladsgroup <[email protected]> writes: > Kunal, you rock! > > Best > > On Thu, Dec 21, 2017 at 1:50 PM יגאל חיטרון <[email protected]> > wrote: > >> Wow, thanks a lot! >> Igal (User:IKhitron) >> >> >> 2017-12-21 14:09 GMT+02:00 Florian Schmidt < >> [email protected]>: >> >> > Kunal….. that is simply awesome! Big thanks for this new tool, this will >> > make us in finding usages of deprecated methods, we would like to remove, >> > much more easy! >> > >> > >> > >> > Best, >> > >> > Florian >> > >> > >> > >> > Von: Wikitech-l [mailto:[email protected]] Im >> > Auftrag von Kunal Mehta >> > Gesendet: Donnerstag, 21. Dezember 2017 05:15 >> > An: wikitech-l <[email protected]> >> > Betreff: [Wikitech-l] Announcing MediaWiki code search >> > >> > >> > >> > Hi, >> > >> > MediaWiki code search is a fully free software tool that lets you >> > easily search through all of MediaWiki core, extensions, and skins >> > that are hosted on Gerrit. You can limit your search to specific >> > repositories, or types of repositories too. Regular expressions are >> > supported in both the search string, and when filtering by path. >> > >> > Try it out: https://codesearch.wmflabs.org/search/ >> > >> > I started working on this because the only other options to searching >> > the entire MediaWiki codebase was either cloning everything locally >> > (takes up space, and need to manually keep it up to date) or using >> > Github (not free software, has extraneous repositories). The backend >> > is powered by hound, a code search tool written by etsy, based on >> > Google's Code Search. >> > >> > Please let me know what you think! More documentation and links are >> > at: <https://www.mediawiki.org/wiki/Codesearch>. >> > >> > -- Legoktm >> > >> > >> > _______________________________________________ >> > Wikitech-l mailing list >> > [email protected] >> > https://lists.wikimedia.org/mailman/listinfo/wikitech-l >> > >> _______________________________________________ >> Wikitech-l mailing list >> [email protected] >> https://lists.wikimedia.org/mailman/listinfo/wikitech-l > _______________________________________________ > Wikitech-l mailing list > [email protected] > https://lists.wikimedia.org/mailman/listinfo/wikitech-l _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
