fix [ in php 5.3