diff options
| author | Aaron Schulz <aschulz@wikimedia.org> | 2013-04-24 23:56:04 -0700 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2013-04-28 23:54:33 +0000 |
| commit | 32ac1518037adc66f78432108a306a4627d79be5 (patch) | |
| tree | 6be14cba4b3b445a9809ca749f15931ed169a837 /includes/Skin.php | |
| parent | 728dc44c6424f9b8c1fa5b3221fd2acb2901ea96 (diff) | |
| download | mediawikicore-32ac1518037adc66f78432108a306a4627d79be5.tar.gz mediawikicore-32ac1518037adc66f78432108a306a4627d79be5.zip | |
Created ProfileSection class to avoid wfProfileOut() whack-a-mole.
Change-Id: I9f7e0638edd99e1ac07b83054e8f7ef255179281
Diffstat (limited to 'includes/Skin.php')
0 files changed, 0 insertions, 0 deletions