Fix: make convert.php script for doc generation compatible with php 5.3