<?php namespace Dinosaur; use \E_USER_WARNING; const E_USER_WARNING = 42; var_dump(E_USER_WARNING, \E_USER_WARNING);
You have javascript disabled. You will not be able to edit any code.