Bureaucrats, confirmed, Administrators
4,558
edits
Changes
Jump to navigation
Jump to search
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>
