Open main menu

Changes

14 bytes removed ,  22:36, 13 June 2007
no edit summary
/** handle the heading metadata
* e.g.
-- Host: hermesfoo.dc0example.oasis-open.netcom
-- Generation Time: May 03, 2007 at 12:33 PM
-- Server version: 3.23.55
-- PHP Version: 5.2.0-8+etch1
--
-- Database: `kavi_live_wgorgmyDatabase`
*/
$pattern = '/^--[\s]([^:]+): (.*)$/mU';
*/
$pattern = '/(CREATE TABLE [^;]+;)/U';
// depends on GeSHi and which extension you have$replacement = '<source lang=sql> // depends on GeSHi and which extension you have
$1
</source>
4,558

edits