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 /phpdoc.dist.xml | |
parent | 8e814ee16f2569619627d2c3e22433d7391f011c (diff) |
Remove default parameter value of is_php()
It was simply pointless.
Diffstat (limited to 'phpdoc.dist.xml')
0 files changed, 0 insertions, 0 deletions