PHP7, novità per i programmatori web