File manager - Edit - /home/palg2351/public_html/wp-content/plugins/code-snippets/js/editor.ts
Back
import { defineMode, getMode, registerHelper } from 'codemirror' import { Linter } from './utils/Linter' import type { EditorConfiguration, ModeSpec } from 'codemirror' interface ModeSpecOptions { startOpen: boolean } const mode: ModeSpec<ModeSpecOptions> = { name: 'application/x-httpd-php', startOpen: true } defineMode('php-snippet', (config: EditorConfiguration) => getMode(config, mode)) registerHelper('lint', 'php', (text: string) => { const linter = new Linter(text) linter.lint() return linter.annotations })
| ver. 1.4 |
Github
|
.
| PHP 8.3.30 | Generation time: 0.07 |
proxy
|
phpinfo
|
Settings