replace void 0 with undefined

This commit is contained in:
Rob Lourens
2018-12-28 13:15:41 -08:00
parent 0d11396538
commit ef2547d547
413 changed files with 1515 additions and 1515 deletions

View File

@@ -146,7 +146,7 @@ export default class PHPValidationProvider {
}
this.trigger = RunTrigger.from(section.get<string>('validate.run', RunTrigger.strings.onSave));
}
if (this.executableIsUserDefined !== true && this.workspaceStore.get<string | undefined>(CheckedExecutablePath, undefined) !== void 0) {
if (this.executableIsUserDefined !== true && this.workspaceStore.get<string | undefined>(CheckedExecutablePath, undefined) !== undefined) {
vscode.commands.executeCommand('setContext', 'php.untrustValidationExecutableContext', true);
}
this.delayers = Object.create(null);
@@ -195,7 +195,7 @@ export default class PHPValidationProvider {
delayer.trigger(() => this.doValidate(textDocument));
};
if (this.executableIsUserDefined !== void 0 && !this.executableIsUserDefined) {
if (this.executableIsUserDefined !== undefined && !this.executableIsUserDefined) {
let checkedExecutablePath = this.workspaceStore.get<string | undefined>(CheckedExecutablePath, undefined);
if (!checkedExecutablePath || checkedExecutablePath !== this.executable) {
vscode.window.showInformationMessage<MessageItem>(