Commit:    443c211863f187fcfc841f381e6cc3770cf322b8
Author:    Hannes Magnusson <bj...@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";
-                }
-            }
-        }
-    }
-}
-


--
PHP Webmaster List Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to