pagelines/DMS — pull request #347 by cliffordp (2013-08-29 16:57:51+00:00)
Title: 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.