Skip to content
Snippets Groups Projects
Commit af0df536 authored by llaffont's avatar llaffont
Browse files

phafi: ajout hint pour activation / désactivation du profiling

parent e7f99649
Branches
Tags
No related merge requests found
......@@ -198,6 +198,7 @@
(defun phafi-toggle-phpunit-profiling ()
(interactive)
(setq phafi-phpunit-profiling (not phafi-phpunit-profiling))
(message (concat "Profiling: " (if phafi-phpunit-profiling "ON" "OFF")))
)
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment