Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
sidebar [2014/01/17 15:04]
admin
sidebar [2016/08/11 13:18] (current)
admin
Line 1: Line 1:
 +=== Contents ===
  
   * [[start | Home]]   * [[start | Home]]
   * [[vigil:​people | People]]   * [[vigil:​people | People]]
   * [[vigil:​research | Research]]   * [[vigil:​research | Research]]
-  ​[[vigil:​random_projects | Random Projects]] +/*  * [[vigil:​visitors | Visitors]] ​*/ 
-  * [[Demos]] +/*  * [[vigil:​talks | Talks]] */
-  * [[vigil:​visitors | Visitors]] +
-  * [[vigil:​talks | Talks]] +
-  ​[[vigil:​feedback | Feedback]]+
   * [[vigil:​contact_us | Contact Us]]   * [[vigil:​contact_us | Contact Us]]
  
-~~NOCACHE~~+=== Internal Links ===
  
-<​php>​ +  * [[internal:​login_creation_request | Get Lab Access]]
-$ip = $_SERVER['​REMOTE_ADDR'​];+
  
-// Try the following line if the ip is blank after this +~~NOCACHE~~
-// $ip=@$REMOTE_ADDR;​ +
-$regs = array(); +
-// Enter suitable ip addr pattern below. The following code block executes only if +
-// the ip addr starts with 10.12 +
-if(!ereg("​(^10.105.1.3$)",​$ip,​$regs)) +
-+
-  echo "<​hr>";​ +
-  echo "<​center><​A href='​http://​trellis.cse.iitb.ac.in/​vigil/​doku.php?​id=internal:​internal_links'>​Internal Links</​A></​center>";​ +
- +
-//  echo "<​center><​font size =2><​b>​INTERNAL LINKS</​b></​font></​center>";​ +
-//  echo "<​hr>";​ +
-   // Create a html file with the desired internal links. +
-   // Here I assume that it is called internal_links.html +
-   //​echo "<​iframe frameborder=0 src='​internalLink.html'></​iframe>";​ +
-//   echo "<​ul><​LI><​A href='​http://​trellis.cse.iitb.ac.in/​~archive/'>​Lab Work Archive</​A></​LI>";​ +
-//   echo "<​LI><​A href='​http://​trellis.cse.iitb.ac.in/​vigil/​doku.php?​id=internal:​lab_hours_and_occupancy_schedule'>​Lab Hours and Weekly Schedule</​A></​LI>";​ +
-//   echo "<​LI><​A href='​http://​trellis.cse.iitb.ac.in/​vigil/​doku.php?​id=internal:​equipment'>​Equipment</​A></​LI>";​ +
-//   echo "<​LI><​A href='​http://​www.trellis.iitb.ac.in/​vigil/​doku.php?​id=internal:​login_creation_request'>​Login Creation Request</​A></​LI>";​ +
-//   echo "<​LI><​A href='​http://​bhim.cse.iitb.ac.in/​mailman/​listinfo/​vigil'>​Mailing List Archive</​A></​LI>";​ +
-//   echo "<​LI><​A href='​http://​trellis.cse.iitb.ac.in/​vigil/​doku.php?​id=internal:​wiki_faq'>​Wiki FAQ</​A></​LI>";​ +
-//   echo "<​LI><​A href='​http://​trellis.cse.iitb.ac.in/​vigil/​doku.php?​id=vigil:​faq'>​VIGIL FAQ</​A></​LI>";​ +
-//   echo "<​LI><​A href='​http://​trellis.cse.iitb.ac.in/​vigil/​doku.php?​id=contact:​useful-numbers'>​Useful Numbers</​A></​LI></​ul>";​ +
-  } +
-// Use the following line for debugging the ip addr +
- +
-</​php>​+