kamp/fdroidserver
1
0
Fork 0
mirror of https://gitlab.com/fdroid/fdroidserver.git synced 2024-09-17 10:40:12 +02:00
Code Activity

Merge branch 'wiki-page-name' into 'master'

Browse Source 
Filter another invalid mediawiki page title character

See merge request fdroid/fdroidserver!490
This commit is contained in:
Marcus 2018-04-11 13:35:42 +00:00
commit eec005ed67
1 changed files with 3 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
fdroidserver/update.py
View File

@ -272,12 +272,9 @@ def update_wiki(apps, sortedids, apks):
# Make a redirect from the name to the ID too, unless there's # Make a redirect from the name to the ID too, unless there's
# already an existing page with the name and it isn't a redirect. # already an existing page with the name and it isn't a redirect.
noclobber = False noclobber = False
apppagename = app.Name.replace('_', ' ') apppagename = app.Name
apppagename = apppagename.replace('{', '') for ch in '_{}:[]|':
apppagename = apppagename.replace('}', ' ') apppagename = apppagename.replace(ch, ' ')
apppagename = apppagename.replace(':', ' ')
apppagename = apppagename.replace('[', ' ')
apppagename = apppagename.replace(']', ' ')
# Drop double spaces caused mostly by replacing ':' above # Drop double spaces caused mostly by replacing ':' above
apppagename = apppagename.replace(' ', ' ') apppagename = apppagename.replace(' ', ' ')
for expagename in site.allpages(prefix=apppagename, for expagename in site.allpages(prefix=apppagename,