Topic on User talk:Jlemley

Jeremy, I don't suppose you'd have a chance to look at the error mentioned at Extension talk:Favorites in which update.php cannot find "extension.json", would you?

Thanks!