Debug infos with var()=%d are for length and can be decimal.
[core.git] / find-bad-php.sh
2015-05-12 Roland HaederAdded find-bad-php.sh