// ==UserScript==
// @name          Mozilla Wiki & Devmo Links
// @namespace     http://mozilla.wikicities.com/
// @include       http://www.mozilla.org/*
// @include       http://mozilla.org/*
// @exclude       http://www.mozilla.org/book/*
// @exclude       http://www.mozilla.org/start/1.5/faq/*
// @exclude       http://www.mozilla.org/xpfe/themovie.html*
// @description	  adds links to wiki and devmo on the header
// ==/UserScript==

(function() {
  var about = document.getElementById('menu_aboutus');

  var dText = document.createTextNode('DevMo');
  var dLink = document.createElement('a');
  dLink.appendChild(dText);
  dLink.setAttribute('title', 'Mozilla Developer');
  dLink.setAttribute('href', 'http://developer-test.mozilla.org/');

  var devmo = about.cloneNode(true);
  devmo.setAttribute('id', 'menu_devmo');
  devmo.removeChild(devmo.firstChild);
  devmo.appendChild(dLink);

  var wText = document.createTextNode('Wiki');
  var wLink = document.createElement('a');
  wLink.appendChild(wText);
  wLink.setAttribute('title', 'Mozilla Wiki');
  wLink.setAttribute('href', 'http://wiki.mozilla.org/');

  var wiki = devmo.cloneNode(true);
  wiki.setAttribute('id', 'menu_wiki');
  wiki.removeChild(wiki.firstChild);
  wiki.appendChild(wLink);

  about.parentNode.insertBefore(devmo, about);
  devmo.parentNode.insertBefore(wiki, devmo);

})();