Re: [Wikitech-l] Announcing MediaWiki code search

2018-01-16 Thread Nick Wilson (Quiddity)
https://codesearch.wmflabs.org/ is back up now.​ ___ Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l

Re: [Wikitech-l] Announcing MediaWiki code search

2018-01-16 Thread Niharika Kohli
t; > > > Amir Ladsgroup <ladsgr...@gmail.com> writes: > > > > > > > > > > > > > > > >> Kunal, you rock! > > > > > > > >> > > > > > > > >> Best > > > > &g

Re: [Wikitech-l] Announcing MediaWiki code search

2018-01-16 Thread Stephane Bisson
gt; > > > > > > > > > > > >> Kunal, you rock! > > > > > > >> > > > > > > >> Best > > > > > > >> > > > > > > >> ‪On Thu, Dec 21, 2017 at 1:50 PM ‫יגאל חיטרון‬‎ <

Re: [Wikitech-l] Announcing MediaWiki code search

2017-12-22 Thread Mukunda Modell
t; khit...@post.bgu.ac.il > > > > > > > > > > > >> wrote:‬ > > > > > >> > > > > > >>> Wow, thanks a lot! > > > > > >>> Igal (User:IKhitron) > > > > > >>> > > > &

Re: [Wikitech-l] Announcing MediaWiki code search

2017-12-21 Thread Erika Bjune
> > > >>> > > > > >>> > > > > >>> 2017-12-21 14:09 GMT+02:00 Florian Schmidt < > > > > >>> florian.schmidt.wel...@t-online.de>: > > > > >>> > > > > >>>> Kunal….. t

Re: [Wikitech-l] Announcing MediaWiki code search

2017-12-21 Thread Volker E.
t;>> Igal (User:IKhitron) > > > >>> > > > >>> > > > >>> 2017-12-21 14:09 GMT+02:00 Florian Schmidt < > > > >>> florian.schmidt.wel...@t-online.de>: > > > >>> > >

Re: [Wikitech-l] Announcing MediaWiki code search

2017-12-21 Thread Derick N. Alangi
schmidt.wel...@t-online.de>: > > >>> > > >>>> 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, > > >>>&g

Re: [Wikitech-l] Announcing MediaWiki code search

2017-12-21 Thread Andrew Otto
online.de>: > >>> > >>>> 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! > >>>> &g

Re: [Wikitech-l] Announcing MediaWiki code search

2017-12-21 Thread zppix e
gt;>>> >>>> >>>> Best, >>>> >>>> Florian >>>> >>>> >>>> >>>> Von: Wikitech-l [mailto:wikitech-l-boun...@lists.wikimedia.org] Im >>>> Auftrag von Kunal Mehta >>>> Gesendet: Don

Re: [Wikitech-l] Announcing MediaWiki code search

2017-12-21 Thread Bahodir Mansurov
> >> > Von: Wikitech-l [mailto:wikitech-l-boun...@lists.wikimedia.org] Im >> > Auftrag von Kunal Mehta >> > Gesendet: Donnerstag, 21. Dezember 2017 05:15 >> > An: wikitech-l <wikitech-l@lists.wikimedia.org> >> > Betreff: [Wikitech-l] Announcing Medi

Re: [Wikitech-l] Announcing MediaWiki code search

2017-12-21 Thread Amir Ladsgroup
h-l [mailto:wikitech-l-boun...@lists.wikimedia.org] Im > > Auftrag von Kunal Mehta > > Gesendet: Donnerstag, 21. Dezember 2017 05:15 > > An: wikitech-l <wikitech-l@lists.wikimedia.org> > > Betreff: [Wikitech-l] Announcing MediaWiki code search > > > > >

Re: [Wikitech-l] Announcing MediaWiki code search

2017-12-21 Thread יגאל חיטרון
much more easy! > > > > Best, > > Florian > > > > Von: Wikitech-l [mailto:wikitech-l-boun...@lists.wikimedia.org] Im > Auftrag von Kunal Mehta > Gesendet: Donnerstag, 21. Dezember 2017 05:15 > An: wikitech-l <wikitech-l@lists.wikimedia.org> > Be

Re: [Wikitech-l] Announcing MediaWiki code search

2017-12-21 Thread Florian Schmidt
: Donnerstag, 21. Dezember 2017 05:15 An: wikitech-l <wikitech-l@lists.wikimedia.org> 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

Re: [Wikitech-l] Announcing MediaWiki code search

2017-12-21 Thread Addshore
Really great! I'll move my github searches to this asap :D On 21 December 2017 at 04:15, Kunal Mehta wrote: > -BEGIN PGP SIGNED MESSAGE- > Hash: SHA512 > > Hi, > > MediaWiki code search is a fully free software tool that lets you > easily search through all of

Re: [Wikitech-l] Announcing MediaWiki code search

2017-12-20 Thread Greg Grossmeier
> 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

[Wikitech-l] Announcing MediaWiki code search

2017-12-20 Thread Kunal Mehta
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 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.