diff options
Diffstat (limited to 'mod/developers/start.php')
| -rw-r--r-- | mod/developers/start.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mod/developers/start.php b/mod/developers/start.php index ab9a174a4..c89e3d36f 100644 --- a/mod/developers/start.php +++ b/mod/developers/start.php @@ -157,6 +157,7 @@ function developers_log_events($name, $type) { * Serve the theme preview pages * * @param array $page + * @return void */ function developers_theme_preview_controller($page) { if (!isset($page[0])) { |