fix bug 1082063 - php echo shorthand