Added support to php 5.3 on documentation