Thread:Extension talk:WikiEditor/No editor bar displayed/reply