Why is there a $time parameter there? Doesn't seem to be used. Also, $titles looses the ones that are matched. That probably should be documented, since a caller wouldn't expect that most likely. -- View this message in context: http://www.nabble.com/includes-filerepo-FileRepo.php--r1%3D35096-r2%3D35095… Sent from the Wikipedia Developers mailing list archive at Nabble.com.