Use mediawiki-core REL1_23_noext branch