wikimedia/mediawiki-extensions-Gadgets
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Gadgets synced 2024-11-30 18:14:21 +00:00
Code Issues Packages Projects Releases Wiki Activity
978 commits 13 branches 25 tags 22 MiB
Commit graph

3 commits

Author SHA1 Message Date
Chad Horohoe fb5c2ba40e Remove obvious function-level profiling 
Change-Id: If6ce3558357a64ce5054a40e493d65a07956f471
 2015-02-12 11:48:44 -08:00
Max Semenik 0a1a4f4438 Profiling 
Change-Id: I4988e95e953f55bc96779c4fcc7d94553d5b3b0c
 2013-08-30 03:43:17 +04:00
Max Semenik 0ee165bce8 Move hooks to a separate file 
Change-Id: I2cb53bd4beae247c1b983dc8c4482af682acab64
 2013-08-30 03:35:07 +04:00