Code example integration in PHP