diff options
| author | Andrey Andreev <narf@devilix.net> | 2016-07-28 15:40:12 +0200 |
|---|---|---|
| committer | Andrey Andreev <narf@devilix.net> | 2016-07-28 15:40:12 +0200 |
| commit | a838279625becfba98ccb7635d35c67297129c42 (patch) | |
| tree | 6ddf87407a88b84dc90503d5e7ac68c40cd07d66 /user_guide_src/source/general/profiling.rst | |
| parent | 1748567f5442409d6a8c1e795f56599caff8296e (diff) | |
Remove dead code written for PHP 5.2
Diffstat (limited to 'user_guide_src/source/general/profiling.rst')
0 files changed, 0 insertions, 0 deletions