mt-site Files · menu.php · MegaTokyo Code

MegaTokyo Code

0
- This repo
- ?
- Use '/' key to quickly access this field. - Enter a name of repository, or repository group for quick search. - Prefix query to allow special search: user:admin, to search for usernames, always global user_group:devops, to search for user groups, always global commit:efced4, to search for commits, scoped to repositories or groups file:models.py, to search for file paths, scoped to repositories or groups For advanced full text search visit: repository search
Home
Public journal
Gists
Sign in

mt-site

RSS

Remove EOL spaces from RSS generators.

darkmorford - - Load All Authors

File last commit:

6c602be266b6

702fbbaf27eb

Download file

             menu.php
        
                    10 lines
            
             | 209 B
            
                | text/x-php
            
             |
                PhpLexer
            
             / menu.php
          
                    History
                
                 |
                  Source
                 | Raw
                 |Copy content

     darkmorford
  
Add root-directory files.

              r2
            
      <?php

      require('LocalSettings.php');

      if($_GET['section'] == 'characters')

      	header('Location: '.SITE_HOST.SITE_PATH.'/characters.php');

      else

      	header('Location: '.SITE_HOST.SITE_PATH.'/'.$_GET['section']);

      ?>

	Site-wide shortcuts
/	Use quick search box
g h	Goto home page
g g	Goto my private gists page
g G	Goto my public gists page
g 0-9	Goto bookmarked items from 0-9
n r	New repository page
n g	New gist page

	Repositories
g s	Goto summary page
g c	Goto changelog page
g f	Goto files page
g F	Goto files page with file search activated
g p	Goto pull requests page
g o	Goto repository settings
g O	Goto repository access permissions settings

darkmorford Add root-directory files.	r2	<?php

		require('LocalSettings.php');

		if($_GET['section'] == 'characters')
		header('Location: '.SITE_HOST.SITE_PATH.'/characters.php');
		else
		header('Location: '.SITE_HOST.SITE_PATH.'/'.$_GET['section']);

		?>