Skip to content

Instantly share code, notes, and snippets.

@Justinzobel

Justinzobel/mediawiki

Created August 3, 2021 06:01
Show Gist options
  • Save Justinzobel/c368c941269a735089cbef8d0def373b to your computer and use it in GitHub Desktop.
Save Justinzobel/c368c941269a735089cbef8d0def373b to your computer and use it in GitHub Desktop.
Download ZIP
Raw
mediawiki
To get mediawiki page names from MySQL use:
use db_name;
select page_id,cast(page_title as CHAR) from page;
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment