<?php 
 
/* 
  +------------------------------------------------------------------------+ 
  | Phalcon Developer Tools                                                | 
  +------------------------------------------------------------------------+ 
  | Copyright (c) 2011-2016 Phalcon Team (https://www.phalconphp.com)      | 
  +------------------------------------------------------------------------+ 
  | This source file is subject to the New BSD License that is bundled     | 
  | with this package in the file LICENSE.txt.                             | 
  |                                                                        | 
  | If you did not receive a copy of the license and are unable to         | 
  | obtain it through the world-wide-web, please send an email             | 
  | to [email protected] so we can send you a copy immediately.       | 
  +------------------------------------------------------------------------+ 
  | Authors: Andres Gutierrez <[email protected]>                      | 
  |          Eduar Carvajal <[email protected]>                         | 
  |          Serghei Iakovlev <[email protected]>                     | 
  +------------------------------------------------------------------------+ 
*/ 
 
$uri = urldecode(parse_url($_SERVER['REQUEST_URI'], PHP_URL_PATH)); 
 
if ($uri !== '/' && file_exists(__DIR__ . '/public' . $uri)) { 
    return false; 
} 
 
$_GET['_url'] = $_SERVER['REQUEST_URI']; 
 
require_once __DIR__ . '/public/index.php'; 
 
 |