Merge pull request #3209 from danielyxie/prettier-ci

prettier ci

src/ScriptEditor/NetscriptDefinitions.d.ts

@@ -6667,7 +6667,7 @@ export interface Corporation extends WarehouseAPI, OfficeAPI {
   sellShares(amount: number): void;
   /**
    * Get bonus time.
-   * 
+   *
    * “Bonus time” is accumulated when the game is offline or if the game is inactive in the browser.
    *
    * “Bonus time” makes the game progress faster.
@@ -6675,7 +6675,7 @@ export interface Corporation extends WarehouseAPI, OfficeAPI {
    * @returns Bonus time for the Corporation mechanic in milliseconds.
    */
    getBonusTime(): number;
-  
+
 }
 
 /**