How to disable file edition in WordPress admin

Here is useful wordpress code snippet to disable file edition in WordPress admin
Just paste the following (or only the needed line) in your wp-config.php file. This file is located at the root of your WordPress install.

define('DISALLOW_FILE_EDIT', true); //Disallow edition of files throught WP editor
define('DISALLOW_FILE_MODS',<wbr>true); //Disallow install of upgrades

Thanks to Paulund for this useful code snippet!