widget/page: apply nested placeholders

Similar to article rendering added in commit v3.5-16-g9e9882d6f2
(2018-08-07) [nieuws: replace placeholders in article contents].

diff --git a/widget/page.php b/widget/page.php
index 10c3a2d46d85661c0fb8e6189e90a802bedd8340..7304739e4fc2443b369f73382a87df5ada41ee24 100644 (file)
--- a/widget/page.php
+++ b/widget/page.php
@@ -1,2 +1,5 @@
 <?php
-include ".{$Page->path}.html";
+$article = new ArchiveArticle(".{$Page->path}.html");
+ob_start();
+print $article->raw;
+print $article->render();