Привет, знатоки. Только что обнаружил на своем сайте вот такой файлик в админской директории
/wp-admin/js/set-post-thumbnail.dev.php
Он там должен быть или нет? Смущает его название - две точки - до и после dev, насколько я знаю, это не характерно для WP?
