summaryrefslogtreecommitdiff
path: root/src/Settings.php
diff options
context:
space:
mode:
authorDaniel Weipert <code@drogueronin.de>2020-11-03 15:04:39 +0100
committerDaniel Weipert <code@drogueronin.de>2020-11-03 15:04:39 +0100
commitab485dcf32eeaa23cca3f2bdb7f1187893362032 (patch)
tree018b60288b86d1e0ec33f2a5b768defc030b3a29 /src/Settings.php
parent714aa53d2e37c540907c2f272fa9a8e670c05ff7 (diff)
Checks whether 'file' is set in codeEditorSettings $argsHEADmain
Diffstat (limited to 'src/Settings.php')
0 files changed, 0 insertions, 0 deletions