diff --git a/etc/extra.inc.php b/etc/extra.inc.php
deleted file mode 100644
index 2f6d91d..0000000
--- a/etc/extra.inc.php
+++ /dev/null
@@ -1,188 +0,0 @@
-]*)src="(.*)"([^>]*)\/>/Us', function ($matches) use ($path) {
- $url = htmlspecialchars_decode($matches[2], ENT_QUOTES);
- $url = normalizeUrl($url, $path, 'imgSrc');
- $url = checkLocalFile($url, 'imgSrc');
- if (false === $url) {
- exit($path.PHP_EOL);
- }
-
- return '
';
- }, $text);
- $text = preg_replace_callback('/]*)href="([^"]+)"([^>]*)>/Us', function ($matches) use ($path) {
- $url = htmlspecialchars_decode($matches[2], ENT_QUOTES);
- if (!preg_match('/^#/', $url)) {
- $url = normalizeUrl($url, $path, 'aHref');
- if (false === $url) {
- exit($path.PHP_EOL);
- }
- $url = checkLocalFile($url, 'aHref');
- if (false === $url) {
- exit($path.PHP_EOL);
- }
- }
-
- return '';
- }, $text);
- $text = preg_replace_callback('/