The bio for each professor had been kept in a separate include file called by the index file. This was to accommodate the inline editor used on the old site. The new site is likely to be maintained with Contribute, which doesn't deal well with includes as editable chunks, so I deleted the include call and copied the contents from each bio.inc file into the calling index.php file.

When I looked at the files in Contribute, the content did not appear. After some close checking I discovered that this line caused Contribute to fail:

<script type="text/javascript" src=<?php echo '"' .$pathToRoot.'javascript/javascript.js">'?></script>

but when I used this line instead, everything was fine

<script type="text/javascript" src=<?php echo '"' .$pathToRoot.'javascript/javascript.js"'?>></script>

(The difference is the location of the close angle bracket. Both versions validate and both versions work fine in actual browsers)