Current Path : /storage/v11800/testtest/public_html/wp-content/plugins/code-snippets/js/ |
Linux v11800 5.3.0-1023-aws #25~18.04.1-Ubuntu SMP Fri Jun 5 15:19:18 UTC 2020 aarch64
|
Current File : /storage/v11800/testtest/public_html/wp-content/plugins/code-snippets/js/editor.ts |
import { defineMode, getMode, EditorConfiguration, ModeSpec } from 'codemirror'
import './php-lint'
type ModeSpecOptions = {
startOpen: boolean
}
/** Define a new mode which starts the phpmixed mode in php mode instead of html mode */
defineMode('php-snippet', (config: EditorConfiguration) =>
getMode(config, <ModeSpec<ModeSpecOptions>> {
name: 'application/x-httpd-php',
startOpen: true
})
)