diff options
| author | vlakoff <vlakoff@gmail.com> | 2014-04-05 09:52:01 +0200 |
|---|---|---|
| committer | vlakoff <vlakoff@gmail.com> | 2014-04-05 13:21:47 +0200 |
| commit | 629d37532acaf3d6e57d25545e16ecc24459c59c (patch) | |
| tree | df5c8a3ed9607485bedada0311e34c711a741f6a /user_guide_src/source/general/libraries.rst | |
| parent | 8e814ee16f2569619627d2c3e22433d7391f011c (diff) | |
Remove default parameter value of is_php()
It was simply pointless.
Diffstat (limited to 'user_guide_src/source/general/libraries.rst')
0 files changed, 0 insertions, 0 deletions