diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2019-04-14 21:53:00 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2019-04-14 21:53:00 +0000 |
| commit | 81c888ab8569b3f0cfdf9a5f2b937940bc0974b1 (patch) | |
| tree | eba5755e43c402bfa4ca196b188d10d5bfe6ba77 /.phpcs.xml | |
| parent | 71a2232e5bec59739ec6ade9812ae1bd900deea8 (diff) | |
| parent | 6341ee8fa626b75372a70ff0203399a29d219e5f (diff) | |
| download | mediawikicore-81c888ab8569b3f0cfdf9a5f2b937940bc0974b1.tar.gz mediawikicore-81c888ab8569b3f0cfdf9a5f2b937940bc0974b1.zip | |
Merge "Move SectionProfileCallback to its own file"
Diffstat (limited to '.phpcs.xml')
| -rw-r--r-- | .phpcs.xml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.phpcs.xml b/.phpcs.xml index 50635c0efe5c..aa120e889e45 100644 --- a/.phpcs.xml +++ b/.phpcs.xml @@ -201,7 +201,6 @@ <exclude-pattern>*/includes/parser/Preprocessor_DOM\.php</exclude-pattern> <exclude-pattern>*/includes/parser/Preprocessor_Hash\.php</exclude-pattern> <exclude-pattern>*/includes/parser/Preprocessor\.php</exclude-pattern> - <exclude-pattern>*/includes/profiler/SectionProfiler\.php</exclude-pattern> <exclude-pattern>*/includes/utils/AutoloadGenerator\.php</exclude-pattern> <exclude-pattern>*/maintenance/dumpIterator\.php</exclude-pattern> <exclude-pattern>*/maintenance/Maintenance\.php</exclude-pattern> |