diff -r 07239de796bb -r e756a8c72c3d cms/drupal/themes/engines/phptemplate/phptemplate.engine
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/cms/drupal/themes/engines/phptemplate/phptemplate.engine	Fri Sep 08 12:04:06 2017 +0200
@@ -0,0 +1,25 @@
+<?php
+
+/**
+ * @file
+ * Handles integration of PHP templates with the Drupal theme system.
+ */
+
+/**
+ * Implements hook_init().
+ */
+function phptemplate_init($template) {
+  $file = dirname($template->filename) . '/template.php';
+  if (file_exists($file)) {
+    include_once DRUPAL_ROOT . '/' . $file;
+  }
+}
+
+/**
+ * Implements hook_theme().
+ */
+function phptemplate_theme($existing, $type, $theme, $path) {
+  $templates = drupal_find_theme_functions($existing, array($theme));
+  $templates += drupal_find_theme_templates($existing, '.tpl.php', $path);
+  return $templates;
+}