public function logDeprecated($message) { // The default implementation does nothing. Override this in your platform classes. }