<?php
// We changed the code generated for spaced text. Therefore, all definitions containing % signs need to be re-htmlized
$dbResult = mysql_query('select * from Definition where InternalRep like "%|%"');
$count = 0;
while ($dbRow = mysql_fetch_assoc($dbResult)) {
$def = Definition::createFromDbRow($dbRow);
$htmlRep = text_htmlize($def->internalRep);
if ($htmlRep !== $def->htmlRep) {
$def->htmlRep = $htmlRep;
$def->save();
$count++;
}
}
print "{$count} definitions converted.\n";
