Blade plugin for PHP view editing