com web/php: This isn't used anymore: js/common.js
| From: | Paul Dragoonis | Date: | Tue, 31 Dec 2013 20:08:10 +0000 |
| Subject: | com web/php: This isn't used anymore: js/common.js | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-22240@lists.php.net to get a copy of this message | ||
Commit: 3a9eab894d0f73cc1f094abccfc23713d1d189ef
Author: Hannes Magnusson <bjori@mongodb.com> Mon, 30 Dec 2013 13:02:42 -0800
Parents: aa2f5528c684ce2110329d7fb9c22d9510685b05
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=3a9eab894d0f73cc1f094abccfc23713d1d189ef
Log:
This isn't used anymore
Changed paths:
M js/common.js
Diff:
diff --git a/js/common.js b/js/common.js
index 0909c12..6e2267a 100755
--- a/js/common.js
+++ b/js/common.js
@@ -308,10 +308,6 @@ $(window).load(function()
$(document).ready(function() {
- // Ugh, cookie handling.
- var cookies = document.cookie.split(";");
-
-
var $docs = $('.docs');
var $refsect1 = $docs.find('.refentry .refsect1');
var $docsDivWithId = $docs.find('div[id]');