use place_to_be_deleted when force deleting objects

[nominatim.git] / lib-php / Result.php

diff --git a/lib-php/Result.php b/lib-php/Result.php
index 774b7ca60b4c0a9ea51c913638d39c42c3cd5fc5..4b244d1d2d888508e6310a99cd57a95be96e4482 100644 (file)
--- a/lib-php/Result.php
+++ b/lib-php/Result.php
@@ -1,4 +1,12 @@
 <?php
 <?php

+/**
+ * SPDX-License-Identifier: GPL-2.0-only
+ *
+ * This file is part of Nominatim. (https://nominatim.org)
+ *
+ * Copyright (C) 2022 by the Nominatim developer community.
+ * For a full list of authors see the git log.
+ */

 
 namespace Nominatim;
 
 
 namespace Nominatim;