K Framework

Data from K Framework can no longer be collected. It is marked defunct.
This may be due to one (or more) of the following reasons:

This wiki site is either defunct (dead), private, the API was disabled, the generator used does not support an API (MW < 1.8.x), or does no longer use MediaWiki.

K Framework, a wiki website powered by MediaWiki

Overview

Name:

K Framework

Main URL:

http://www.kframework.org/index.php/Main Page

Description:

This wiki site has no description, please add a description.

Founded on:

2011/11/11 09:39:41 PM
5,481 days old; the 14,407 wiki site by date founded; the 23,911 wiki site added to WikiApiary.

Tags (topics):

This wiki site has no subject or topic tags, please add tags.

Farm:

This wiki site is not hosted by a known wiki farm.
If you are aware of a farm it is hosted by, please add its farm.

Network

K Framework/Libraries

HTTP server
IP address	185.199.108.153, 185.199.109.153, 185.199.110.153, 185.199.111.153
Reverse lookup	cdn-185-199-108-153.github.com, cdn-185-199-109-153.github.com, cdn-185-199-110-153.github.com, cdn-185-199-111-153.github.com
Netblock organization

The "_geo" type of this property is invalid

General

MediaWiki version:	Generator:MediaWiki 1.20.5 (1.20.5) (Git hash: c66ac316d1a4c00a2f5169348c3c50133cdee383)
Time zone:	America/Chicago
Time offset:
Sitename:	K Framework
Rights:
PHP server API:	apache2handler
PHP version:	5.3.3 (5.3)
Language:	English (English)
Database type:	mysql
Database version:	5.1.73 (5.1)
Wiki ID:	wikidb-k_
Max upload size:	100 MB
Server:	http://www.kframework.org
Article path:	/index.php/$1
Interwiki URL:	http://www.kframework.org/index.php/$1
Settings:	Write API True

Usage

General statistics

{{#get_db_data:db=apiary|from=statistics|where=website_id=170487|limit=1|order by=capture_date desc|data=capture_date=capture_date,users=users,activeusers=activeusers,admins=admins,articles=articles,edits=edits,images=images,jobs=jobs,pages=pages,views=views}} No data ever collected by WikiApiary for this wiki website.

Extensions

K Framework uses the following 10 extensions (by version number, date and time, Git hash):

• GeSHiCodeTag (unknown)
• ImageMap (unknown)
• Interwiki (2.2 20120425)
• Lockdown (unknown)
• Manage Paper Authors (unknown)
• Manage Paper Categories (unknown)
• Manage Papers (unknown)
• Math (1.0)
• Replace Text (0.9.7)
• SyntaxHighlight (2008-02-27)

Skins

K Framework uses the following 9 skin(s):

• Chick
• CologneBlue
• Modern
• MonoBook
• MySkin
• Nostalgia
• Simple
• Standard
• Vector

Notifications

K Framework has 0 notification(s). So far no notification on WikiApiary has been requested for this wiki website.

Add a notification

Settings

Collection URLs

API: http://kframework.org/api.php

Identifiers

ID

170487

Bot segment

27

Day segment

2

Hour segment

15

Operators

Audited:

This wiki site was last audited on 2023/05/01 09:24:51 AM

Flags:

Active:

Yes

+defunct — this wiki website has been marked as defunct.

Collecting

+general +extensions +skins +statistics (via API)

Check every:

240 minutes

{{#get_db_data:db=apiary|from=statistics|where=website_id=170487 |limit=1|order by=capture_date desc|data=capture_date=capture_date,users=users,activeusers=activeusers,admins=admins,articles=articles,edits=edits,images=images,jobs=jobs,pages=pages,views=views}} {{#get_db_data:db=apiary|from=statistics|where=website_id=170487 AND capture_date < '2026-11-07'|limit=1|order by=capture_date desc|data=capture_date2=capture_date,users2=users,activeusers2=activeusers,admins2=admins,articles2=articles,edits2=edits,images2=images,jobs2=jobs,pages2=pages,views2=views}}

Edit index

not available

Pages change

not available

Users change

0

Admin ratio

0

Open chart new window

{{#get_db_data:db=apiary|from=apiary_website_logs|where=website_id=170487|limit=10|order by=log_date desc|data=date=log_date,type=log_type,severity=log_severity,message=log_message,bot=log_bot,url=log_url}}

Logs for K Framework

{{#clear_external_data:}}