Thread:Extension talk:WikiEditor/After upgrade to 1.25.1, Publish button is missing/reply

Problem solved. The trick was to change some lines in the LocalSettings.php file:

$wgDefaultSkin = "vector"; wfLoadSkin( 'vector' );

to

$wgDefaultSkin = "Vector"; wfLoadSkin( 'Vector' );

In short "vector" had to be "Vector".