// Alias for getting i18n strings for this plugin
function hello_world_i18n($key) {
  return i18n_r(HELLO_WORLD . '/' . $key);
}

// Administration panel
function hello_world_admin() {
  // ...
}

// Hook for the theme footer
function hello_world_footer() {
  // ...
}