todochecker: Match todo case-insensitively :-( that finds a lot more.

diff --git a/lib/simpletest/todochecker.php b/lib/simpletest/todochecker.php
index 172878dcd8045e4dabe54e0e95c56abcdab54ecb..dbe026d42efcb62a4d55181e5052444a6c1dcea5 100644 (file)
--- a/lib/simpletest/todochecker.php
+++ b/lib/simpletest/todochecker.php
@@ -110,7 +110,7 @@ function check_to_dos($filepath) {
     $lines = file($filepath);
     $matchesinfile = array();
     foreach ($lines as $lineno => $line) {
-        if (preg_match('/\bTODO\b/', $line)) {
+        if (preg_match('/\bTODO\b/i', $line)) {
             $matchesinfile[$lineno] = $line;
         }
     }