allow user IDs to be used in PL_EDITOR_LOCK wp-config.php define

define('PL_EDITOR_LOCK','7,admin,11'); // allows User IDs 7 and 11 and username admin to use the editor.