The source project of this merge request has been removed.
Add new file 100-monitor_kernel_version.inc.php to stable-3.1
Add new file 100-monitor_kernel_version.inc.php to stable-3.1 in relation to recently merged commits of !790 (merged) and !791 (merged).
There is a fix to the filename for master submitted via commit !804 (merged) that is still pending.