Q:

Where can I find admin-header.php file online?

I am using Wordpress for my website. I was  working on CPANEL yesterday and was browsing public-html/wp-admin folder under the File manager. 
There were many files and I accidentally deleted the admin-header.php file. 
Where can I get an another copy of that file so that I can upload it to the same folder from where it got deleted?

A:

Couldn't see a download link on the Github page for downloading single files(i don't use it so maybe i'm just not seeing it). 
Alternatively you can download single files for WordPress from trac.
Example:
http://core.trac.wordpress.org/browser/tags/3.2.1/wp-admin/admin-header.php 
Scroll to the bottom of the page(or hit the End key),
look for the text "Download in other formats:"
click the "Original Format" link below that text to download the single file.
Can't hurt to have options right.. ;)

