Fixing PHP 5.4 bug of not defining inherited properties properly