Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
sidebar [2014/01/17 15:04] admin |
sidebar [2016/08/10 22:49] 127.0.0.1 external edit |
||
|---|---|---|---|
| Line 4: | Line 4: | ||
| * [[vigil:research | Research]] | * [[vigil:research | Research]] | ||
| * [[vigil:random_projects | Random Projects]] | * [[vigil:random_projects | Random Projects]] | ||
| - | * [[Demos]] | ||
| * [[vigil:visitors | Visitors]] | * [[vigil:visitors | Visitors]] | ||
| * [[vigil:talks | Talks]] | * [[vigil:talks | Talks]] | ||
| - | * [[vigil:feedback | Feedback]] | ||
| * [[vigil:contact_us | Contact Us]] | * [[vigil:contact_us | Contact Us]] | ||
| + | === Internal Links === | ||
| + | * [[internal:login_creation_request | Get Lab Access]] | ||
| ~~NOCACHE~~ | ~~NOCACHE~~ | ||
| - | |||
| - | <php> | ||
| - | $ip = $_SERVER['REMOTE_ADDR']; | ||
| - | |||
| - | // Try the following line if the ip is blank after this | ||
| - | // $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> | ||
