Add documentation lookup shortcuts to Theme and Plugin Editors

[beaulebens]

This patch adds a SELECT box underneath the main editing window for the Theme and Plugin Editors that lists functions used in the current file (PHP files only). If you select a function from the list and click the "Lookup" button, it launches a new window that uses the new documentation API to load the appropriate page for that function.

Includes: Native PHP functions, All user-space functions used in the current file (except those specifically excluded)

Excludes: any classes/functions defined in the current file (since it assumes they are plugin/theme-specific and therefore won't have documentation available via the docs API),

Allows users to filter the list of function names to "ignore" via the new 'documentation_ignore_functions' filter.

The way tokenizer works is a bit funky, so please keep an eye out for things being included in the list that shouldn't be there and let me know so I can clean them up. Could use some testing by loading various plugin/theme files.

[beaulebens]

Made the for() loop more efficient. Props jacobsantos

[ryan]

(In [10607]) Add documentation lookup shortcuts to Theme and Plugin Editors. Props beaulebens. fixes #9184