lib/MLIB/Graph/external/jpgraph/src/utils/jpdocgen/jplintdriver.php

   1 <?php
   2 //==============================================================================
   3 // Name:        JPLINTDRIVER.PHP
   4 // Description: Driver for PHP "lint"
   5 // Created:     01/12/03
   6 // Author:      johanp@aditus.nu
   7 // Version:     $Id: jplintdriver.php,v 1.1 2002/04/20 19:31:32 aditus Exp $
   8 //
   9 // License:     QPL 1.0
  10 // Copyright (C) 2001,2002 Johan Persson
  11 //==============================================================================
  12
  13 include("jplintphp.php");
  14
  15 //==========================================================================
  16 // Script entry point
  17 // Read URL argument and create Driver
  18 //==========================================================================
  19 if( !isset($HTTP_GET_VARS['target']) )
  20         die("<b>No file specified.</b> Use 'mylintphp.php?target=file_name'" );
  21 $file = urldecode($HTTP_GET_VARS['target']);
  22 $driver = new Driver($file);
  23 $driver->Run();
  24
  25
  26 ?>