From 80026995dead3a418a41ee1a6fbc39c05bfc0050 Mon Sep 17 00:00:00 2001
From: Umherirrender <umherirrender_de.wp@web.de>
Date: Sat, 17 Mar 2018 23:01:17 +0100
Subject: [PATCH] Change DO_MAINTENANCE to RUN_MAINTENANCE_IF_MAIN

As suggested in 26505b170adb24a6ae68945920db322c9382e470 for better
readability.

Change-Id: Ia2e3a98b70ce48b084bcab4c3bafee9447d663d6
---
 scripts/compile-font-repo.php       | 2 +-
 scripts/generate-font-test-page.php | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/compile-font-repo.php b/scripts/compile-font-repo.php
index 2340a83b..1f32a860 100644
--- a/scripts/compile-font-repo.php
+++ b/scripts/compile-font-repo.php
@@ -47,4 +47,4 @@ JAVASCRIPT;
 }
 
 $maintClass = 'CompileFontRepo';
-require_once DO_MAINTENANCE;
+require_once RUN_MAINTENANCE_IF_MAIN;
diff --git a/scripts/generate-font-test-page.php b/scripts/generate-font-test-page.php
index d892eb41..688dcdac 100644
--- a/scripts/generate-font-test-page.php
+++ b/scripts/generate-font-test-page.php
@@ -94,4 +94,4 @@ HTML;
 }
 
 $maintClass = 'GenerateFontTestPage';
-require_once DO_MAINTENANCE;
+require_once RUN_MAINTENANCE_IF_MAIN;