syntax highlighting for theme-editor.php?

yes there is WP Editarea plugin works on both plugin and theme editor.

and there is Power Code Editor plugin

Related Posts:

  1. Is there anything that Joomla or Drupal can do that can’t be done in WordPress? [closed]
  2. Any post install tips after installing WordPress 3.0.1?
  3. Version Control: Entire site or just pieces?
  4. Getting a stack trace when an error occurs?
  5. Multiple WordPress sites with docker
  6. .maintenance and maintenance.php also in multisite install?
  7. how to redirect to a custom password retrieval page
  8. Is there a plugin to make attaching images easier?
  9. Custom category order with get_categories
  10. Maintaining synced staging/production WP sites
  11. WordPress Multi Site Best Practice
  12. Sub posts and non unique post_name
  13. Pagination Help on Crazy Custom Authors Page
  14. Getting rid of the #038; when string replacing content
  15. Querying multiple WordPress custom fields with AND qualifier
  16. How to let a single post have its own domain name
  17. page_template toggle between 2 templates + 2 permalinks for same post
  18. How to instantly delete posts/pages permanently?
  19. Create a Custom menu item fetched by Product Categories and Sub Categories
  20. How to re-arrange media uploaded using : media_handle_upload() as per year / month
  21. How could we customize the all posts page in the admin panel?
  22. How do I perform a “get” call to an external API, and then display the JSON results on a page in my WordPress site?
  23. How to build a child theme from a react-based parent theme?
  24. Adding Pagination on a Custom Author Page
  25. How can I get the page url slug when ‘post_name’ returns an id?
  26. Woocommerce Product page edit
  27. Convert an theme options page to use in customize.php also?
  28. The best way to write an FAQ page?
  29. Get Value from Column in Plugin Table [closed]
  30. How to provide a demonstration of WordPress for new customers
  31. The Best Way to always load the newest version of 3rd party code
  32. Theme licensing and permission on changing content [closed]
  33. Add ‘Creator’ User Meta when adding user
  34. Auto login after wordpress installation
  35. Using Fullscreenr with a wordpress blog – weird bug
  36. Determining What Content Gets Displayed
  37. Truncating varying lengths of information
  38. large chunks of text went missing
  39. How to change popular term checklist title when edit post?
  40. Add a date updated/date modified option using custom fields
  41. Extra theme – header customization help [closed]
  42. Disable widgets in customizer for sidebar
  43. How do I change .css versioning?
  44. Deep customization of wp-login.php
  45. Save title as custom field on custom post type
  46. My custom sql query for getting a username giving me a warning and an error
  47. How to store page visit counts?
  48. How to solve this problem with my subdomain?
  49. Load File (Function & Variable Value) from Child Theme
  50. how to add custom logo to my template
  51. Semi complicated custom taxonomy question
  52. Duplicated content with custom shortcode
  53. WordPress broken after changing URL
  54. Display posts by combining multiple meta key
  55. How to make the Pages in WordPress Customized?
  56. Custom “wp_login.php?action=lostpassword” and reset password
  57. Custom theme – how to link the image without posting it
  58. How to add active state to the navigation links?
  59. How do I fix my static page
  60. List of contents of entire blog
  61. wp_enqueue_script JS code runs too late (after user begins interacting)
  62. Validate user login in php
  63. optimal taxonomy or custom post types
  64. Easily add custom HTML outside the main container?
  65. Adding a custom field to a slug
  66. Query Product categories what have a custom field
  67. adding fade on mouseover to images
  68. Customize section does not show my widget areas
  69. Make Widget appear on Dashboard
  70. WP_User_Query Search Multiple Keywords from a Multi-Select Field?
  71. Woocommerce dependent attributes
  72. clickable toggle menu, help
  73. WordPress Customizer: Check for value of CSS selector and replace it
  74. twenty seventeen customizer duplicates section content
  75. How to append the excerpt to the content in the single post page?
  76. Bio comes up when the visitor clicks on a picture
  77. How to find and replace (or add) specific word in a specific category?
  78. WooCommerce – Adding custom HTML to specific product pages
  79. How do I move my sites to a child theme without loosing customisation?
  80. Displaying all Custom fields on post except some
  81. WordPress Install – “end of script output before headers” when running simple php script
  82. Ordering a specific post type
  83. How to appoint different users to different pages?
  84. How to replace part of shortlink with nothing
  85. Is there a way to hide a user’s posts from their Activity feed?
  86. customize footer widgets area
  87. Setting up staging area
  88. Word Press Theme Customiser and Child theme Function.php
  89. Security Issues with custom user role or changing core role capabilities?
  90. Do i need to use PHP in customizer api?
  91. Add variable : 1 Week ago
  92. When is it OK to create a custom table for a plugin? [duplicate]
  93. Prevent posts from being published if the ‘Uncategorized’-category or no category is selected
  94. how do i add logo in my site
  95. Show total sales for each products on search results page Woocommerce
  96. Changes to code not displaying
  97. Permalink Listing WordPress
  98. Has the table name in SQL for WordPress changed from WP_posts to WPCS_post?
  99. Multi color post title by using custom javascript inside the gutenberg editor?
  100. Add custom styles to the Raft theme