Deprecated: PHP Request Startup: session.sid_length INI setting is deprecated in Unknown on line 0

Warning: PHP Request Startup: Session ini settings cannot be changed after headers have already been sent in Unknown on line 0
@props(['code', 'highlightedLine'])