Some cleaning up.

2025-10-12 15:35:15 +00:00 · 2014-12-13 23:40:25 +01:00
parent 4b4ad7f1a8
commit 8e6ca0dd05
7 changed files with 19 additions and 5 deletions
--- a/bootstrap/start.php
+++ b/bootstrap/start.php
@@ -1,6 +1,12 @@
 <?php

 if (!function_exists('mf')) {
+    /**
+     * @param      $n
+     * @param bool $coloured
+     *
+     * @return string
+     */
    function mf($n, $coloured = true)
    {