[BUGFIX] Replace the PHP short tags

The short tags could lead to problems with PHP v5.4