adding h3 references find and replace + tmp find and replace hack for the userinfo.svg

command-line/update.py

@@ -139,6 +139,7 @@ def tweaking(html):
 	html = re.sub(r'''<h3><span class="mw-headline" id="References.*?">References</span><span class="mw-editsection"><span class="mw-editsection-bracket"></span></span></h3>
 <ul>''', '''<h3 class="references"><span class="mw-headline" id="References">References</span><span class="mw-editsection"><span class="mw-editsection-bracket"></span></span></h3>
 <ul class="references">''', html) # add id="references" to h3 and ul, so the elements can be selected with CSS
+	html = html.replace('src="./images/Userinfo.jpg"', 'src="./images/Userinfo.svg"')
 	
 	return html
 

web-interface/update.py

@@ -137,9 +137,10 @@ def tweaking(html):
 	html = html.replace('<a href="#X,_y,_z_(4_filmstills)"', '<a href="#x,_y,_z_(4_filmstills)"') # change the anchor link in the TOC to lowercase
 	html = html.replace('<a href="#Rehearsal_as_the_%E2%80%98Other%E2%80%99_to_Hypercomputation"', '<a href="#Rehearsal_as_the_‘Other’_to_Hypercomputation"') # change the anchor link in the TOC to lowercase
 	html = html.replace('<a href="#We_hardly_encounter_anything_that_didn%E2%80%99t_really_matter"', '<a href="#We_hardly_encounter_anything_that_didn’t_really_matter"') # change the anchor link in the TOC to lowercase
-	html = html.replace('''<h3><span class="mw-headline" id="References">References</span><span class="mw-editsection"><span class="mw-editsection-bracket"></span></span></h3>
+	html = re.sub(r'''<h3><span class="mw-headline" id="References.*?">References</span><span class="mw-editsection"><span class="mw-editsection-bracket"></span></span></h3>
 <ul>''', '''<h3 class="references"><span class="mw-headline" id="References">References</span><span class="mw-editsection"><span class="mw-editsection-bracket"></span></span></h3>
-<ul class="references">''') # add id="references" to h3 and ul, so the elements can be selected with CSS
+<ul class="references">''', html) # add id="references" to h3 and ul, so the elements can be selected with CSS
+	html = html.replace('src="./images/Userinfo.jpg"', 'src="./images/Userinfo.svg"')
 	
 	return html