Difference between revisions of "MediaWiki:Common.js"

From Pensapedia, the Pensacola encyclopedia
Jump to navigation Jump to search
Line 1: Line 1:
/** Import module *************************************************************
+
//<source lang="javascript">
  *
+
 
  *  Description: Includes a raw wiki page as javascript or CSS,  
+
/** Import module *************************************************************
  *              used for including user made modules.
+
*
  *  Maintainers: [[User:AzaToth]]
+
*  Description: Includes a raw wiki page as javascript or CSS,  
  */
+
*              used for including user made modules.
importedScripts = {}; // object keeping track of included scripts, so a script ain't included twice
+
*  Maintainers: [[User:AzaToth]]
function importScript( page ) {
+
*/
 +
importedScripts = {}; // object keeping track of included scripts, so a script ain't included twice
 +
function importScript( page ) {
 
     if( importedScripts[page] ) {
 
     if( importedScripts[page] ) {
 
         return;
 
         return;
Line 19: Line 21:
 
     scriptElem.setAttribute( 'type' , 'text/javascript' );
 
     scriptElem.setAttribute( 'type' , 'text/javascript' );
 
     document.getElementsByTagName( 'head' )[0].appendChild( scriptElem );
 
     document.getElementsByTagName( 'head' )[0].appendChild( scriptElem );
}
+
}
 
   
 
   
function importStylesheet( page ) {
+
function importStylesheet( page ) {
 
     var sheet = '@import "'
 
     var sheet = '@import "'
 
               + wgScriptPath
 
               + wgScriptPath
Line 31: Line 33:
 
     styleElem.appendChild( document.createTextNode( sheet ) );
 
     styleElem.appendChild( document.createTextNode( sheet ) );
 
     document.getElementsByTagName( 'head' )[0].appendChild( styleElem );
 
     document.getElementsByTagName( 'head' )[0].appendChild( styleElem );
}
+
}
  
/* Test if an element has a certain class ***************************************/
+
/* Test if an element has a certain class ***************************************/
 
   
 
   
var hasClass = (function () {
+
var hasClass = (function () {
 
     var reCache = {};
 
     var reCache = {};
 
     return function (element, className) {
 
     return function (element, className) {
 
         return (reCache[className] ? reCache[className] : (reCache[className] = new RegExp("(?:\\s|^)" + className + "(?:\\s|$)"))).test(element.className);
 
         return (reCache[className] ? reCache[className] : (reCache[className] = new RegExp("(?:\\s|^)" + className + "(?:\\s|$)"))).test(element.className);
 
     };
 
     };
})();
+
})();
  
/** Internet Explorer bug fix ***************************************************/
+
/** Internet Explorer bug fix ***************************************************/
 
   
 
   
if (window.showModalDialog && document.compatMode && document.compatMode == "CSS1Compat")
+
if (window.showModalDialog && document.compatMode && document.compatMode == "CSS1Compat")
{
+
{
 
   var oldWidth;
 
   var oldWidth;
 
   var docEl = document.documentElement;
 
   var docEl = document.documentElement;
Line 65: Line 67:
 
   document.attachEvent("onreadystatechange", fixIEScroll);
 
   document.attachEvent("onreadystatechange", fixIEScroll);
 
   attachEvent("onresize", fixIEScroll);
 
   attachEvent("onresize", fixIEScroll);
}
+
}
  
/** Collapsible tables *********************************************************
+
/** Collapsible tables *********************************************************
 
  *
 
  *
 
  *  Description: Allows tables to be collapsed, showing only the header. See
 
  *  Description: Allows tables to be collapsed, showing only the header. See
 
  *              [[Wikipedia:Wikipedia:NavFrame|Wikipedia:NavFrame]].
 
  *              [[Wikipedia:Wikipedia:NavFrame|Wikipedia:NavFrame]].
 
  */
 
  */
var autoCollapse = 2;
+
var autoCollapse = 2;
var collapseCaption = "hide";
+
var collapseCaption = "hide";
var expandCaption = "show";
+
var expandCaption = "show";
function collapseTable( tableIndex )
+
function collapseTable( tableIndex )
{
+
{
 
     var Button = document.getElementById( "collapseButton" + tableIndex );
 
     var Button = document.getElementById( "collapseButton" + tableIndex );
 
     var Table = document.getElementById( "collapsibleTable" + tableIndex );
 
     var Table = document.getElementById( "collapsibleTable" + tableIndex );
Line 94: Line 96:
 
         Button.firstChild.data = collapseCaption;
 
         Button.firstChild.data = collapseCaption;
 
     }
 
     }
}
+
}
function createCollapseButtons()
+
function createCollapseButtons()
{
+
{
 
     var tableIndex = 0;
 
     var tableIndex = 0;
 
     var NavigationBoxes = new Object();
 
     var NavigationBoxes = new Object();
Line 133: Line 135:
 
         }
 
         }
 
     }
 
     }
}
+
}
addOnloadHook( createCollapseButtons );
+
addOnloadHook( createCollapseButtons );
  
  
/** Dynamic Navigation Bars (experimental) *************************************
+
/** Dynamic Navigation Bars (experimental) *************************************
 
  *
 
  *
 
  *  Description: See [[Wikipedia:Wikipedia:NavFrame|Wikipedia:NavFrame]].
 
  *  Description: See [[Wikipedia:Wikipedia:NavFrame|Wikipedia:NavFrame]].
 
  */
 
  */
// set up the words in your language
+
// set up the words in your language
var NavigationBarHide = '[' + collapseCaption + ']';
+
var NavigationBarHide = '[' + collapseCaption + ']';
var NavigationBarShow = '[' + expandCaption + ']';
+
var NavigationBarShow = '[' + expandCaption + ']';
// shows and hides content and picture (if available) of navigation bars
+
// shows and hides content and picture (if available) of navigation bars
// Parameters:
+
// Parameters:
//    indexNavigationBar: the index of navigation bar to be toggled
+
//    indexNavigationBar: the index of navigation bar to be toggled
function toggleNavigationBar(indexNavigationBar)
+
function toggleNavigationBar(indexNavigationBar)
{
+
{
 
     var NavToggle = document.getElementById("NavToggle" + indexNavigationBar);
 
     var NavToggle = document.getElementById("NavToggle" + indexNavigationBar);
 
     var NavFrame = document.getElementById("NavFrame" + indexNavigationBar);
 
     var NavFrame = document.getElementById("NavFrame" + indexNavigationBar);
Line 177: Line 179:
 
         NavToggle.firstChild.data = NavigationBarHide;
 
         NavToggle.firstChild.data = NavigationBarHide;
 
     }
 
     }
}
+
}
// adds show/hide-button to navigation bars
+
// adds show/hide-button to navigation bars
function createNavigationBarToggleButton()
+
function createNavigationBarToggleButton()
{
+
{
 
     var indexNavigationBar = 0;
 
     var indexNavigationBar = 0;
 
     // iterate over all < div >-elements  
 
     // iterate over all < div >-elements  
Line 212: Line 214:
 
         }
 
         }
 
     }
 
     }
}
+
}
addOnloadHook( createNavigationBarToggleButton );
+
addOnloadHook( createNavigationBarToggleButton );
 +
 
  
 +
/** "Technical restrictions" title fix *****************************************
 +
*
 +
*  Description: For pages that have something like Template:Wrongtitle, replace
 +
*              the title, but only if it is cut-and-pasteable as a valid
 +
*              wikilink. For instance, "NZR WB class" can be changed to
 +
*              "NZR W<sup>B</sup> class", but [[C#]] is not an equivalent wikilink,
 +
*              so [[C Sharp]] doesn't have its main title changed.
 +
*
 +
*              The function looks for a banner like this:
 +
*              <div id="RealTitleBanner"> ... <span id="RealTitle">title</span> ... </div>
 +
*              An element with id=DisableRealTitle disables the function.
 +
*  Maintainers: Remember_the_dot
 +
*/
  
/** "Technical restrictions" title fix ******************************************/
+
if (wgIsArticle) //prevents the "Editing " prefix from disappearing during preview
+
{
// For pages that have something like Template:Lowercase, replace the title, but only if it is cut-and-pasteable as a valid wikilink.
+
    addOnloadHook(function()
//
+
    {
// The function looks for a banner like this: <nowiki>
+
        var realTitle = document.getElementById("RealTitle")
// <div id="RealTitleBanner">    <!-- div that gets hidden -->
+
       
//  <span id="RealTitle">title</span>
+
        if (realTitle)
// </div>
+
        {
// </nowiki>An element with id=DisableRealTitle disables the function.
+
            //normalizes a title or a namespace name (but not both)
var disableRealTitle = 0; // users can disable this by making this true from their monobook.js
+
            //trims leading and trailing underscores and converts (possibly multiple) spaces and underscores to single underscores
if (wgIsArticle) { // don't display the RealTitle when editing, since it is apparently inconsistent (doesn't show when editing sections, doesn't show when not previewing)
+
            function normalizeTitle(title)
    addOnloadHook(function() {
+
            {
try {
+
                return title.replace(/^_+/, "").replace(/_+$/, "").replace(/[\s_]+/g, "_")
var realTitleBanner = document.getElementById("RealTitleBanner");
+
            }
if (realTitleBanner && !document.getElementById("DisableRealTitle") && !disableRealTitle) {
+
           
var realTitle = document.getElementById("RealTitle");
+
            if (realTitle.textContent) //everyone but IE
if (realTitle) {
+
            {
var realTitleHTML = realTitle.innerHTML;
+
                var realTitleText = realTitle.textContent
realTitleText = pickUpText(realTitle);
+
            }
+
            else //IE
var isPasteable = 0;
+
            {
//var containsHTML = /</.test(realTitleHTML); // contains ANY HTML
+
                var realTitleText = realTitle.innerText
var containsTooMuchHTML = /</.test( realTitleHTML.replace(/<\/?(sub|sup|small|big)>/gi, "") ); // contains HTML that will be ignored when cut-n-pasted as a wikilink
+
            }
// calculate whether the title is pasteable
+
           
var verifyTitle = realTitleText.replace(/^ +/, ""); // trim left spaces
+
            var normalizedRealTitle
verifyTitle = verifyTitle.charAt(0).toUpperCase() + verifyTitle.substring(1, verifyTitle.length); // uppercase first character
+
            var normalizedPageTitle
+
            var indexOfColon = realTitleText.indexOf(":")
// if the namespace prefix is there, remove it on our verification copy. If it isn't there, add it to the original realValue copy.
+
            var normalizedNamespaceName = normalizeTitle(realTitleText.substring(0, indexOfColon)).toLowerCase()
if (wgNamespaceNumber != 0) {
+
           
if (wgCanonicalNamespace == verifyTitle.substr(0, wgCanonicalNamespace.length).replace(/ /g, "_") && verifyTitle.charAt(wgCanonicalNamespace.length) == ":") {
+
            //make namespace prefix lowercase and uppercase the first letter of the title
verifyTitle = verifyTitle.substr(wgCanonicalNamespace.length + 1);
+
            if (indexOfColon == -1 || wgCanonicalNamespace.toLowerCase() != normalizedNamespaceName) //no namespace prefix - either no colon or a nonsensical namespace prefix (for example, "Foo" in "Foo: The Story of My Life")
} else {
+
            {
realTitleText = wgCanonicalNamespace.replace(/_/g, " ") + ":" + realTitleText;
+
                normalizedRealTitle = normalizeTitle(realTitleText)
realTitleHTML = wgCanonicalNamespace.replace(/_/g, " ") + ":" + realTitleHTML;
+
                normalizedRealTitle = normalizedRealTitle.charAt(0).toUpperCase() + normalizedRealTitle.substring(1)
}
+
                normalizedPageTitle = wgPageName.charAt(0).toUpperCase() + wgPageName.substring(1)
}
+
            }
+
            else //using a namespace prefix
// verify whether wgTitle matches
+
            {
verifyTitle = verifyTitle.replace(/^ +/, "").replace(/ +$/, ""); // trim left and right spaces
+
                var normalizedRealPageTitle = normalizeTitle(realTitleText.substring(indexOfColon + 1))
verifyTitle = verifyTitle.replace(/_/g, " "); // underscores to spaces
+
               
verifyTitle = verifyTitle.charAt(0).toUpperCase() + verifyTitle.substring(1, verifyTitle.length); // uppercase first character
+
                normalizedRealTitle = normalizedNamespaceName
isPasteable = (verifyTitle == wgTitle);
+
                if (normalizedNamespaceName != "") //namespace 0 is a special case where the leading colon should never be shown
+
                {
var h1 = document.getElementsByTagName("h1")[0];
+
                    normalizedRealTitle += ":"
if (h1 && isPasteable) {
+
                }
h1.innerHTML = containsTooMuchHTML ? realTitleText : realTitleHTML;
+
                normalizedRealTitle += normalizedRealPageTitle.charAt(0).toUpperCase() + normalizedRealPageTitle.substring(1)
if (!containsTooMuchHTML)
+
                normalizedPageTitle = wgPageName.substring(0, wgPageName.indexOf(":") + 1).toLowerCase() + wgPageName.substring(wgPageName.indexOf(":") + 1)
realTitleBanner.style.display = "none";
+
            }
}
+
           
document.title = realTitleText + " - Pensapedia, the Pensacola encyclopedia";
+
            if (normalizedRealTitle == normalizedPageTitle) //normalized titles match, so we can do full replacement
}
+
            {
}
+
                var h1 = document.getElementsByTagName("h1")[0]
} catch (e) {
+
               
/* Something went wrong. */
+
                //remove all child nodes, including text
}
+
                while (h1.firstChild)  
    });
+
                {
}
+
                    h1.removeChild(h1.firstChild)
+
                }
+
               
// similar to innerHTML, but only returns the text portions of the insides, excludes HTML
+
                //populate with nodes of real title
function pickUpText(aParentElement) {
+
                while (realTitle.firstChild) //the children are moved to a new parent element
  var str = "";
+
                {
+
                    h1.appendChild(realTitle.firstChild)
  function pickUpTextInternal(aElement) {
+
                }
    var child = aElement.firstChild;
+
               
    while (child) {
+
                //delete the real title banner since the problem is solved
      if (child.nodeType == 1) // ELEMENT_NODE
+
                var realTitleBanner = document.getElementById("RealTitleBanner")
        pickUpTextInternal(child);
+
                realTitleBanner.parentNode.removeChild(realTitleBanner)
      else if (child.nodeType == 3) // TEXT_NODE
+
            }
        str += child.nodeValue;
+
           
+
            //no matter what, correct the page title
      child = child.nextSibling;
+
            document.title = realTitleText + " - Pensapedia, the Pensacola encyclopedia"
    }
+
        }
  }
+
    })
+
}
  pickUpTextInternal(aParentElement);
 
 
  return str;
 
}
 
  
/** Calendar extension ***/
+
/** Calendar extension ***/
function makeRequest(url) {
+
function makeRequest(url) {
 
   var httpRequest;                             
 
   var httpRequest;                             
 
    
 
    
Line 319: Line 331:
 
   httpRequest.open("GET", url, true);
 
   httpRequest.open("GET", url, true);
 
   httpRequest.send(null);
 
   httpRequest.send(null);
}
+
}
 
    
 
    
function alertContents(httpRequest) {
+
function alertContents(httpRequest) {
 
    
 
    
 
   if (httpRequest.readyState == 4) {
 
   if (httpRequest.readyState == 4) {
Line 330: Line 342:
 
     }
 
     }
 
   }
 
   }
}
+
}
 +
 
 +
//</source>

Revision as of 17:20, 25 July 2008

//<source lang="javascript">

/** Import module *************************************************************
 *
 *  Description: Includes a raw wiki page as javascript or CSS, 
 *               used for including user made modules.
 *  Maintainers: [[User:AzaToth]]
 */
importedScripts = {}; // object keeping track of included scripts, so a script ain't included twice
function importScript( page ) {
     if( importedScripts[page] ) {
         return;
     }
     importedScripts[page] = true;
     var url = wgScriptPath
             + '/index.php?title='
             + encodeURIComponent( page.replace( ' ', '_' ) )
             + '&action=raw&ctype=text/javascript';
     var scriptElem = document.createElement( 'script' );
     scriptElem.setAttribute( 'src' , url );
     scriptElem.setAttribute( 'type' , 'text/javascript' );
     document.getElementsByTagName( 'head' )[0].appendChild( scriptElem );
}
 
function importStylesheet( page ) {
     var sheet = '@import "'
               + wgScriptPath
               + '/index.php?title='
               + encodeURIComponent( page.replace( ' ', '_' ) )
               + '&action=raw&ctype=text/css";'
     var styleElem = document.createElement( 'style' );
     styleElem.setAttribute( 'type' , 'text/css' );
     styleElem.appendChild( document.createTextNode( sheet ) );
     document.getElementsByTagName( 'head' )[0].appendChild( styleElem );
}

/* Test if an element has a certain class ***************************************/
 
var hasClass = (function () {
     var reCache = {};
     return function (element, className) {
         return (reCache[className] ? reCache[className] : (reCache[className] = new RegExp("(?:\\s|^)" + className + "(?:\\s|$)"))).test(element.className);
     };
})();

/** Internet Explorer bug fix ***************************************************/
 
if (window.showModalDialog && document.compatMode && document.compatMode == "CSS1Compat")
{
   var oldWidth;
   var docEl = document.documentElement;
 
   function fixIEScroll()
   {
     if (!oldWidth || docEl.clientWidth > oldWidth)
       doFixIEScroll();
     else
       setTimeout(doFixIEScroll, 1);
   
     oldWidth = docEl.clientWidth;
   }
 
   function doFixIEScroll() {
     docEl.style.overflowX = (docEl.scrollWidth - docEl.clientWidth < 4) ? "hidden" : "";
   }
 
   document.attachEvent("onreadystatechange", fixIEScroll);
   attachEvent("onresize", fixIEScroll);
}

/** Collapsible tables *********************************************************
 *
 *  Description: Allows tables to be collapsed, showing only the header. See
 *               [[Wikipedia:Wikipedia:NavFrame|Wikipedia:NavFrame]].
 */
var autoCollapse = 2;
var collapseCaption = "hide";
var expandCaption = "show";
function collapseTable( tableIndex )
{
    var Button = document.getElementById( "collapseButton" + tableIndex );
    var Table = document.getElementById( "collapsibleTable" + tableIndex );
    if ( !Table || !Button ) {
        return false;
    }
    var Rows = Table.rows;
    if ( Button.firstChild.data == collapseCaption ) {
        for ( var i = 1; i < Rows.length; i++ ) {
            Rows[i].style.display = "none";
        }
        Button.firstChild.data = expandCaption;
    } else {
        for ( var i = 1; i < Rows.length; i++ ) {
            Rows[i].style.display = Rows[0].style.display;
        }
        Button.firstChild.data = collapseCaption;
    }
}
function createCollapseButtons()
{
    var tableIndex = 0;
    var NavigationBoxes = new Object();
    var Tables = document.getElementsByTagName( "table" );
    for ( var i = 0; i < Tables.length; i++ ) {
        if ( hasClass( Tables[i], "collapsible" ) ) {
            /* only add button and increment count if there is a header row to work with */
            var HeaderRow = Tables[i].getElementsByTagName( "tr" )[0];
            if (!HeaderRow) continue;
            var Header = HeaderRow.getElementsByTagName( "th" )[0];
            if (!Header) continue;
            NavigationBoxes[ tableIndex ] = Tables[i];
            Tables[i].setAttribute( "id", "collapsibleTable" + tableIndex );
            var Button     = document.createElement( "span" );
            var ButtonLink = document.createElement( "a" );
            var ButtonText = document.createTextNode( collapseCaption );
            Button.style.styleFloat = "right";
            Button.style.cssFloat = "right";
            Button.style.fontWeight = "normal";
            Button.style.textAlign = "right";
            Button.style.width = "6em";
            ButtonLink.style.color = Header.style.color;
            ButtonLink.setAttribute( "id", "collapseButton" + tableIndex );
            ButtonLink.setAttribute( "href", "javascript:collapseTable(" + tableIndex + ");" );
            ButtonLink.appendChild( ButtonText );
            Button.appendChild( document.createTextNode( "[" ) );
            Button.appendChild( ButtonLink );
            Button.appendChild( document.createTextNode( "]" ) );
            Header.insertBefore( Button, Header.childNodes[0] );
            tableIndex++;
        }
    }
    for ( var i = 0;  i < tableIndex; i++ ) {
        if ( hasClass( NavigationBoxes[i], "collapsed" ) || ( tableIndex >= autoCollapse && hasClass( NavigationBoxes[i], "autocollapse" ) ) ) {
            collapseTable( i );
        }
    }
}
addOnloadHook( createCollapseButtons );


/** Dynamic Navigation Bars (experimental) *************************************
 *
 *  Description: See [[Wikipedia:Wikipedia:NavFrame|Wikipedia:NavFrame]].
 */
// set up the words in your language
var NavigationBarHide = '[' + collapseCaption + ']';
var NavigationBarShow = '[' + expandCaption + ']';
// shows and hides content and picture (if available) of navigation bars
// Parameters:
//     indexNavigationBar: the index of navigation bar to be toggled
function toggleNavigationBar(indexNavigationBar)
{
    var NavToggle = document.getElementById("NavToggle" + indexNavigationBar);
    var NavFrame = document.getElementById("NavFrame" + indexNavigationBar);
    if (!NavFrame || !NavToggle) {
        return false;
    }
    // if shown now
    if (NavToggle.firstChild.data == NavigationBarHide) {
        for (var NavChild = NavFrame.firstChild; NavChild != null; NavChild = NavChild.nextSibling) {
            if ( hasClass( NavChild, 'NavPic' ) ) {
                NavChild.style.display = 'none';
            }
            if ( hasClass( NavChild, 'NavContent') ) {
                NavChild.style.display = 'none';
            }
        }
    NavToggle.firstChild.data = NavigationBarShow;
    // if hidden now
    } else if (NavToggle.firstChild.data == NavigationBarShow) {
        for (var NavChild = NavFrame.firstChild; NavChild != null; NavChild = NavChild.nextSibling) {
            if (hasClass(NavChild, 'NavPic')) {
                NavChild.style.display = 'block';
            }
            if (hasClass(NavChild, 'NavContent')) {
                NavChild.style.display = 'block';
            }
        }
        NavToggle.firstChild.data = NavigationBarHide;
    }
}
// adds show/hide-button to navigation bars
function createNavigationBarToggleButton()
{
    var indexNavigationBar = 0;
    // iterate over all < div >-elements 
    var divs = document.getElementsByTagName("div");
    for (var i = 0; NavFrame = divs[i]; i++) {
        // if found a navigation bar
        if (hasClass(NavFrame, "NavFrame")) {
            indexNavigationBar++;
            var NavToggle = document.createElement("a");
            NavToggle.className = 'NavToggle';
            NavToggle.setAttribute('id', 'NavToggle' + indexNavigationBar);
            NavToggle.setAttribute('href', 'javascript:toggleNavigationBar(' + indexNavigationBar + ');');
 
            var NavToggleText = document.createTextNode(NavigationBarHide);
            for (var NavChild = NavFrame.firstChild; NavChild != null; NavChild = NavChild.nextSibling) {
                if ( hasClass( NavChild, 'NavPic' ) || hasClass( NavChild, 'NavContent' ) ) {
                    if (NavChild.style.display == 'none') {
                        NavToggleText = document.createTextNode(NavigationBarShow);
                        break;
                    }
                }
            }
            NavToggle.appendChild(NavToggleText);
            // Find the NavHead and attach the toggle link (Must be this complicated because Moz's firstChild handling is borked)
            for(var j=0; j < NavFrame.childNodes.length; j++) {
                if (hasClass(NavFrame.childNodes[j], "NavHead")) {
                    NavFrame.childNodes[j].appendChild(NavToggle);
                }
            }
            NavFrame.setAttribute('id', 'NavFrame' + indexNavigationBar);
        }
    }
}
addOnloadHook( createNavigationBarToggleButton );


/** "Technical restrictions" title fix *****************************************
 *
 *  Description: For pages that have something like Template:Wrongtitle, replace
 *               the title, but only if it is cut-and-pasteable as a valid
 *               wikilink. For instance, "NZR WB class" can be changed to
 *               "NZR W<sup>B</sup> class", but [[C#]] is not an equivalent wikilink,
 *               so [[C Sharp]] doesn't have its main title changed.
 *
 *               The function looks for a banner like this: 
 *               <div id="RealTitleBanner"> ... <span id="RealTitle">title</span> ... </div>
 *               An element with id=DisableRealTitle disables the function.
 *  Maintainers: Remember_the_dot
 */

if (wgIsArticle) //prevents the "Editing " prefix from disappearing during preview
{
    addOnloadHook(function()
    {
        var realTitle = document.getElementById("RealTitle")
        
        if (realTitle)
        {
            //normalizes a title or a namespace name (but not both)
            //trims leading and trailing underscores and converts (possibly multiple) spaces and underscores to single underscores
            function normalizeTitle(title)
            {
                return title.replace(/^_+/, "").replace(/_+$/, "").replace(/[\s_]+/g, "_")
            }
            
            if (realTitle.textContent) //everyone but IE
            {
                var realTitleText = realTitle.textContent
            }
            else //IE
            {
                var realTitleText = realTitle.innerText
            }
            
            var normalizedRealTitle
            var normalizedPageTitle
            var indexOfColon = realTitleText.indexOf(":")
            var normalizedNamespaceName = normalizeTitle(realTitleText.substring(0, indexOfColon)).toLowerCase()
            
            //make namespace prefix lowercase and uppercase the first letter of the title
            if (indexOfColon == -1 || wgCanonicalNamespace.toLowerCase() != normalizedNamespaceName) //no namespace prefix - either no colon or a nonsensical namespace prefix (for example, "Foo" in "Foo: The Story of My Life")
            {
                normalizedRealTitle = normalizeTitle(realTitleText)
                normalizedRealTitle = normalizedRealTitle.charAt(0).toUpperCase() + normalizedRealTitle.substring(1)
                normalizedPageTitle = wgPageName.charAt(0).toUpperCase() + wgPageName.substring(1)
            }
            else //using a namespace prefix
            {
                var normalizedRealPageTitle = normalizeTitle(realTitleText.substring(indexOfColon + 1))
                
                normalizedRealTitle = normalizedNamespaceName
                if (normalizedNamespaceName != "") //namespace 0 is a special case where the leading colon should never be shown
                {
                    normalizedRealTitle += ":"
                }
                normalizedRealTitle += normalizedRealPageTitle.charAt(0).toUpperCase() + normalizedRealPageTitle.substring(1)
                normalizedPageTitle = wgPageName.substring(0, wgPageName.indexOf(":") + 1).toLowerCase() + wgPageName.substring(wgPageName.indexOf(":") + 1)
            }
            
            if (normalizedRealTitle == normalizedPageTitle) //normalized titles match, so we can do full replacement
            {
                var h1 = document.getElementsByTagName("h1")[0]
                
                //remove all child nodes, including text
                while (h1.firstChild) 
                {
                    h1.removeChild(h1.firstChild)
                }
                
                //populate with nodes of real title
                while (realTitle.firstChild) //the children are moved to a new parent element
                {
                    h1.appendChild(realTitle.firstChild)
                }
                
                //delete the real title banner since the problem is solved
                var realTitleBanner = document.getElementById("RealTitleBanner")
                realTitleBanner.parentNode.removeChild(realTitleBanner)
            }
            
            //no matter what, correct the page title
            document.title = realTitleText + " - Pensapedia, the Pensacola encyclopedia"
        }
    })
}

/** Calendar extension ***/
function makeRequest(url) {
   var httpRequest;                             
  
   if (window.XMLHttpRequest) { // Mozilla, Safari, ...
       httpRequest = new XMLHttpRequest();
   } else if (window.ActiveXObject) { // IE
     try {
       httpRequest = new ActiveXObject("Msxml2.XMLHTTP");
     } catch (e) {
       try {
         httpRequest = new ActiveXObject("Microsoft.XMLHTTP");
       } catch (e) {}
     }
   }
  
   if (!httpRequest) {
     alert("Giving up :( Cannot create an XMLHTTP instance");
     return false;
   }
   httpRequest.onreadystatechange = function() { alertContents(httpRequest); };
   httpRequest.open("GET", url, true);
   httpRequest.send(null);
}
  
function alertContents(httpRequest) {
  
   if (httpRequest.readyState == 4) {
     if (httpRequest.status == 200) {
         document.getElementById("p-calendar").innerHTML = httpRequest.responseText;
     } else {
         document.getElementById("p-calendar").innerHTML = "<p>There was a problem with the request.</p>";
     }
   }
}

//</source>