fix issue #12 (detection of Array Dereferencing PHP 5.4 feature)