path: root/tools.php

<?
$_SERVER['SCRIPT_FILENAME'] = 'tools.php'; // CLI fix
require('classes/script_start.php');