292
293
if (fromExtension.installed && toExtension.installed) {
295
>
if (fromExtension.preRelease !== toExtension.preRelease) {
296
/* installed extension's pre-release version changed */
297
return false;
298
}
300
>
if (fromExtension.pinned !== toExtension.pinned) {
301
/* installed extension's pinning changed */
302
return false;
303
}
305
>
if (toExtension.pinned && fromExtension.version !== toExtension.version) {
306
/* installed extension's pinned version changed */
307
return false;
308
}
310
311
if (!isSameExtensionState(fromExtension.state, toExtension.state)) {