diff options
author | Andrey Andreev <narf@devilix.net> | 2017-09-16 16:27:29 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-09-16 16:27:29 +0200 |
commit | 4b9d8f2fa62b62616d2d1043a6faa39d40989070 (patch) | |
tree | a486e368d6e46e1304deb3dcd26c71141cd58f93 /system/libraries/Profiler.php | |
parent | 6607ca29fcf3da49ed562aefe4e3f8ceb91c32f1 (diff) | |
parent | 94bac7ab05cedb75c46ce75c546a268015eabd2e (diff) |
[ci skip] Merge pull request #5265 from mehdibo/patch-1
Fixed dbprefix() documentation
Diffstat (limited to 'system/libraries/Profiler.php')
0 files changed, 0 insertions, 0 deletions