com web/php: No longer used: userprefs.js

Commit: 443c211863f187fcfc841f381e6cc3770cf322b8 Author: Hannes Magnusson <bjori@mongodb.com> Thu, 26 Dec 2013 20:35:18 -0800 Parents: 6232f16f84b3ac29d401377fd219f0e597b5dc29 Branches: master Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=443c211863f187fcfc841f381e6cc3770cf322b8 Log: No longer used Changed paths: D userprefs.js Diff: diff --git a/userprefs.js b/userprefs.js deleted file mode 100644 index 9380253..0000000 --- a/userprefs.js +++ /dev/null @@ -1,42 +0,0 @@ -// Get a value of one cookie set by it's name -// Impmentation from the JS 1.3 Client Guide by Netscape -function getCookie(Name) -{ - var search = Name + "="; - if (document.cookie.length > 0) { - offset = document.cookie.indexOf(search); - if (offset != -1) { - offset += search.length; - end = document.cookie.indexOf(";", offset); - if (end == -1) { end = document.cookie.length; } - return unescape(document.cookie.substring(offset, end)); - } - } - return null; -} - -// Make events in the user's country bold -function boldEvents() -{ - // Get cookie if possible - country = getCookie("COUNTRY"); - if (typeof(country) == "string") { - - // Get country code from cookie - country = country.substring(0, 3); - - // If DOM is supported, get <span>s - if (document.getElementsByTagName) { - - spans = document.getElementsByTagName("span"); - - // Style every span bold which is for this country - for (var i = 0; i < spans.length; i++) { - if (spans[i].className == "event_" + country + " vevent") { - spans[i].style.fontWeight = "bold"; - } - } - } - } -} -