Я пробую livejs букмарклет, и он работает с .php почти без изменений. Мне пришлось добавить только html
в букмарклет, так что теперь у меня есть http://livejs.com/live.js#html,css,notify
внутри букмарклета. Скрипт не заботится о расширении файла.
Даже автор говорит:
Live.js является независимым в рамках разработки или языка вы использования, будь то Ruby, HANDCRAFT, Python, Django, NET, Java, PHP, Drupal , Joomla или что-то-вы.
редактировать:
livejs
использование ETag
и Last-Modified
заголовок, чтобы проверить, если файл был изменен, но некоторые серверы могли не добавить ETag
и Last-Modified
в PHP файлов.
Вы всегда можете добавить в PHP файл (в первой строке):
<?php
$file = basename($_SERVER['PHP_SELF']); // your file name
$last_modified_time = filemtime($file);
$etag = md5_file($file);
header("Last-Modified: ".gmdate("D, d M Y H:i:s", $last_modified_time)." GMT");
header("Etag: $etag");
?>
Добавление ETag работал, спасибо! – tomster
2 года спустя этот трюк сделал мой день. Благодаря! – LuBre