Fix: make convert.php script for doc generation compatible with php 5.3
authorgggeek <giunta.gaetano@gmail.com>
Sun, 2 Feb 2014 19:05:22 +0000 (20:05 +0100)
committergggeek <giunta.gaetano@gmail.com>
Sun, 2 Feb 2014 19:05:22 +0000 (20:05 +0100)

No differences found