Chris@14: 
Chris@14:         @trigger_error({deprecation}, E_USER_DEPRECATED);