From 5c65e2e6e44fdbfd6a7496286b2ded5cbe42ddee Mon Sep 17 00:00:00 2001 From: Joshua Ramon Enslin Date: Wed, 2 Sep 2020 11:08:54 +0200 Subject: [PATCH] Make list of production events array, not array --- src/MDEventsSet.php | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/MDEventsSet.php b/src/MDEventsSet.php index 9ea00fe..b1c6438 100644 --- a/src/MDEventsSet.php +++ b/src/MDEventsSet.php @@ -50,13 +50,13 @@ final class MDEventsSet extends MDValueSet { '38', // => Illustrated ]; - const EVENTS_PRODUCTION = ['1','7', '9','10','19','20','26','38']; + const EVENTS_PRODUCTION = [1, 7, 9, 10, 19, 20, 26, 38]; // Array enthält solche Ereignisse, die nach der Herstellung passiert sein müssen - const EVENTS_POST_PRODUCTION = ['2','3','6','8','11','13','14','15','32','34','37']; + const EVENTS_POST_PRODUCTION = [2, 3, 6, 8, 11, 13, 14, 15, 32, 34, 37]; // Array enthält solche Ereignisse, die vor der Herstellung passiert sein müssen - const EVENTS_PRE_PRODUCTION = ['4','12','25','29','30','31','35']; + const EVENTS_PRE_PRODUCTION = [4, 12, 25, 29, 30, 31, 35]; // Array enthält solche Ereignisse, die sich auf Objekte beziehen, die nicht hergestellt wurden - const EVENTS_NO_PRODUCTION = ['21']; + const EVENTS_NO_PRODUCTION = [21]; /* * Constants for event types without places, times, actors